previous  next
4.1.8. TraceSources
If the TraceSources option is on, then the name of every file read
with the 'Source' command will be echoed.