| NOWEB(1) | General Commands Manual | NOWEB(1) |
nuweb2noweb - convert nuweb files to noweb form
nuweb2noweb file ...
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.
This man page is from noweb version 2.12.
Norman Ramsey, Tufts University. Internet address
Norman.Ramsey@tufts.edu.
Noweb home page at http://www.cs.tufts.edu/~nr/noweb.
| 10/40/2008 |