33.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.

460⟨doc file generation 460⟩≡   (458 539)  542 ⊳
VERBATIMINPUT=Makefile.asfiles Makefile.dep asfiles.list\
  ${LIBPREFIX}${LIBRARYNAME}version.as

Uses asfiles.list 466, LIBPREFIX 124, and LIBRARYNAME 124.