chiark / gitweb /
doc/intro.tex: Fix erroneous `\manpage' to correct `\man'.