nuweb2noweb - convert nuweb files to noweb form
Contents
Description
Nuweb2noweb converts a file or files in nuweb format to noweb format, writing the results on standard
output. Input is from the file(s) named on the command line.
Name
nuweb2noweb - convert nuweb files to noweb form
See Also
noweb(1), nuweb(1)
Synopsis
nuweb2noweb file ...
Version
This man page is from noweb version 2.12.
