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 Davide on March, 6 2002
using texi2html