Copyright (C) 2000-2012 |
GNU Info (texi2html.info)OptionTocFileTable Of content File ===================== `-toc_file' uses file of this name for table of contents. File extension is manipulated appropriately, if necessary. If empty, `<basename of document>_toc.html' is used. $T2H_TOC_FILE = ""; automatically generated by info2www version 1.2.2.9 |