Documentation will mainly consist of LATEX files which are generated from the corresponding .nw files by the MAKE target texfiles. There are, however, several files that are included verbatim into the documentation. They appear inside the argument of a ∖verbatiminput command. These files must be listed in each (sub-)Makefile via the VERBATIMINPUT variable, see Sections 28.9.1, 33.2, and 41.2.