This is the "insert source file names into defs" option.
Inserts the name of each input file into the output definitions.
If no argument is supplied, the format will be:
infile = '%s';
If an argument is supplied, that string will be used for the entry
name instead of infile.
This document was generated
by Bruce Korb on February 23, 2004 using texi2html