+## 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.
+##
+## Revision 1.5 1998/01/20 14:48:18 mdw
+## Distribute gpl.texi. Ooops.
+##