41.2 Documentation Generation

See the target docfiles in Section 29.5. The variable VERBATIMINPUT lists the files in this directory that appear inside a ∖verbatiminput command.