[latexrefman] filecontents

Karl Berry karl at freefriends.org
Sat Mar 14 21:46:29 CET 2020

    I think that \jobname is not the current file name, but the main file
    name, or any string passed to the --jobname command line option
    argument, if any.

Yes, that's definitely correct. I'll change "current" to
"main". Thanks. -k

More information about the latexrefman mailing list.