chiark / gitweb /
doc/intro.tex: Fix erroneous `\manpage' to correct `\man'.
[sod] / doc / intro.tex
2018-06-08 Mark Woodingdoc/intro.tex: Fix erroneous `\manpage' to correct...
2018-06-08 Mark Woodingdoc/: Work in progress.