rjk's `make install' patch.
[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-- 14973 index.but
-rw-r--r-- 49332 input.but
-rw-r--r-- 1627 intro.but
-rw-r--r-- 1186 licence.but
-rw-r--r-- 5315 manpage.but
-rw-r--r-- 42694 output.but
-rw-r--r-- 7304 running.but