+## Revision 1.9 2003/11/29 23:39:16 mdw
+## Debianization.
+##
+## Revision 1.8 1999/05/04 16:24:42 mdw
+## Distribute the generated HTML files.
+##
+## Revision 1.7 1998/06/18 16:07:57 mdw
+## Fix installation of HTML files.
+##
+## Revision 1.6 1998/04/23 13:10:34 mdw
+## Add new file `texinice.tex' to the distribution.
+##