Copyright (C) 2000-2012 |
GNU Info (texi2html.info)IFOnumberNumber sections. ---------------- if set, and $T2H_NUMBER_SECTIONS is set, then use node names in menu entries, instead of section names $T2H_NODE_NAME_IN_MENU = 0; automatically generated by info2www version 1.2.2.9 |