nuweb2noweb(1) convert nuweb files to noweb form

SYNOPSIS

nuweb2noweb file ...

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.

VERSION

This man page is from noweb version 2.11b.

AUTHOR

Norman Ramsey, Harvard University. Internet address [email protected].
Noweb home page at http://www.eecs.harvard.edu/~nr/noweb.