\sourcefilename "foo"

[Menu Jacques]

Hello folks,

I found in the notation reference manual that one can use that to rename the 
input file:

• At any point in a file, any of the following lexical instructions can be 
entered:

  • \version
  • \include
  • \sourcefilename
  • \sourcefileline
  • A single-line comment, introduced by a leading % sign. • A multi-line 
comment delimited by %{ ... %}.


With the:

        \sourcefilename "foo » 

command, I get:

        Renaming input to: `foo’

in the log, but that seems to be its sole effect…?

Thanks for the help!

JM