Copyright (C) 2000-2012 |
GNU Info (texi2html.info)IFOTopHeadingTop Heading ----------- if non-empty, and no `@..heading' appeared in Top node, then use this as header for top node/section, otherwise use value of `@settitle' or `@shorttitle' (in that order) $T2H_TOP_HEADING = ""; automatically generated by info2www version 1.2.2.9 |