3.1 The Help Menu
The Help menu item provides the following entries:
- Welcome
- Open the GPS Welcome page.
- Open HTML file...
- Open a file selection dialog to load an HTML file.
- Contents
- Open a special HTML file that contains links for all the
documentation files currently registered in GPS, See Adding New Help Files.
- About
- Display a dialog giving information about the versions of GPS and GNAT used:
This menu contains a number of additional entries, depending on what
documentation packages were installed on your system. See the next
section to see how to add new help files.