Copyright (C) 2000-2012 |
GNU Info (texi2html.info)IFOmenuAvoid menu redundancy --------------------- if set and menu entry equals menu description, then do not print menu description. Likewise, if node name equals entry name, do not print entry name. $T2H_AVOID_MENU_REDUNDANCY = 1; automatically generated by info2www version 1.2.2.9 |