next up previous contents index
Next: Switches for Linking to Up: Command-Line Options Previous: Switches controlling Image Generation

  
Switches controlling Navigation Panels

The following switches govern whether to include one or more navigation panels on each HTML page, also which buttons to include within such a panel.

 

* -no_navigation 
Same as setting: $NO_NAVIGATION = 1;
Disable the mechanism for putting navigation links in each page.
This overrides any settings of the $TOP_NAVIGATION, $BOTTOM_NAVIGATION and $AUTO_NAVIGATION variables.

 

* -top_navigation 
Same as setting: $TOP_NAVIGATION = 1;
Put navigation links at the top of each page.

 

* -bottom_navigation 
Same as setting: $BOTTOM_NAVIGATION = 1;
Put navigation links at the bottom of each page as well as the top.

 

* -auto_navigation 
Same as setting: $AUTO_NAVIGATION = 1;
Put navigation links at the top of each page. Also put one at the bottom of the page, if the page exceeds $WORDS_IN_PAGE number of words (default = 450).

 

* -next_page_in_navigation 
Same as setting: $NEXT_PAGE_IN_NAVIGATION = 1;
Put a link to the next logical page in the navigation panel.

 

* -previous_page_in_navigation 
 
Same as setting: $PREVIOUS_PAGE_IN_NAVIGATION = 1;
Put a link to the previous logical page in the navigation panel.

 

* -contents_in_navigation 
Same as setting: $CONTENTS_IN_NAVIGATION = 1;
Put a link to the table-of-contents in the navigation panel if there is one.

 

* -index_in_navigation 
Same as setting: $INDEX_IN_NAVIGATION = 1;
Put a link to the index-page in the navigation panel if there is an index.


next up previous contents index
Next: Switches for Linking to Up: Command-Line Options Previous: Switches controlling Image Generation
root
1998-02-23