To prepare a hard-copy version of the manual, use the LaTeX program.

