up previous next

5.1.8 TraceSources

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