We seem to have ended up with duplicate documentation of --man. Gone.
[sgt/halibut] / doc /
drwxr-xr-x   ..
-rw-r--r-- 74 .cvsignore
-rw-r--r-- 544 Makefile
-rw-r--r-- 847 blurb.but
-rw-r--r-- 16982 index.but
-rw-r--r-- 52787 input.but
-rw-r--r-- 1627 intro.but
-rw-r--r-- 1169 licence.but
-rw-r--r-- 4970 manpage.but
-rw-r--r-- 46360 output.but
-rw-r--r-- 7303 running.but