+## Revision 1.12 1999/07/26 23:19:44 mdw
+## New source files.
+##
+## Revision 1.11 1999/07/06 19:36:05 mdw
+## Various minor bugfixes.
+##
+## Revision 1.10 1999/07/06 19:18:47 mdw
+## Handle new manual page directory.
+##
+## Revision 1.9 1999/06/01 09:46:36 mdw
+## Make all the new bits.
+##