* src/preproc/eqn/eqn.man: Revised.