Copyright (C) 2000-2012 |
GNU Info (texi2html.info)OptionPrefixPrefix ====== `-prefix' Set the output file prefix, prepended to all `.html', `.gif' and `.pl' files. By default, this is the basename of the document $T2H_PREFIX = ""; automatically generated by info2www version 1.2.2.9 |