Printing Manuals

FunnelWeb comes with two manuals, a FunnelWeb User's Manual and a FunnelWeb Hacker's Manual. Instructions for how to typeset and print these manuals appear at the top of the main TEX files for these manuals u_manual.tex and h_manual.tex.

There is no need to print the FunnelWeb Hacker's Manual unless you intend to modify FunnelWeb. However, you should make a few copies of the FunnelWeb User's Manual available for users, or at least let them know where the TEX source for the FunnelWeb User's Manual is kept so that they can typeset and print it themselves.