[texdoc] texdoc --files in verbose output
karl at freefriends.org
Sun Sep 21 16:03:16 CEST 2008
I think the output of texdoc --files should be included when
noise_level=4. It's quite unusual for this info to be a separate option.
More information about the texdoc