Don't forget to mention the default setting for \cfg{input-charset}.
[sgt/halibut] / doc /
drwxr-xr-x   ..
-rw-r--r-- 74 .cvsignore
-rw-r--r-- 439 Makefile
-rw-r--r-- 847 blurb.but
-rw-r--r-- 13159 index.but
-rw-r--r-- 49348 input.but
-rw-r--r-- 1627 intro.but
-rw-r--r-- 1186 licence.but
-rw-r--r-- 5315 manpage.but
-rw-r--r-- 34572 output.but
-rw-r--r-- 7304 running.but