• Agustin Martin Domingo's avatar
    Use input file name in initial comment of resulting info file. · d0176291
    Agustin Martin Domingo authored
    For info backend, we better put original input file name in
    resulting info, instead of obscure temp file name, so we
    have in header comment something like
    
      This is file.info, produced by makeinfo version x.yy from
      info file generated after file.sgml by means of linuxdoc-tools.
    
    instead of
    
      This is file.info, produced by makeinfo version x.yy from
      /tmp/linuxdoc-tools.Adm1iK88Ek/sgmltmp.file.2.texi.
    d0176291
Name
Last commit
Last update
..
dtd Loading commit data...
filters Loading commit data...
fmt Loading commit data...
icons Loading commit data...
mappings Loading commit data...
linuxdoc-tools.catalog Loading commit data...
sgml.dcl Loading commit data...