Installation: Man Pages

Ada-ASSURED man(1) pages are contained in the directory aahome/Ada-ASSURED3.5/doc/man, which must be in your standard MANPATH. For the C Shell, you can do this as follows. Enter the command

printenv MANPATH

If the command replies with a blank line, you never set MANPATH. Make an entry at the end of your .cshrc file similar to

setenv MANPATH /usr/man:aahome/Ada-ASSURED3.5/doc/man

Otherwise, make an entry at the end of your .cshrc file similar to

setenv MANPATH $MANPATH':aahome/Ada-ASSURED3.5/doc/man'

The man pages are also available online as part of the User Guide & Reference Manual.