Copyright (C) 2000-2012 |
GNU Info (texi2html.info)OptionShortExtShort extension =============== `-short_extn' If this is set, then all HTML files will have extension `.htm' instead of `.html'. This is helpful when shipping the document to DOS-based systems. $T2H_SHORTEXTN = 0; automatically generated by info2www version 1.2.2.9 |