+## 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.
+##
+## Revision 1.4 1998/01/12 16:45:35 mdw
+## Fix copyright date.
+##
+## Revision 1.3 1997/09/24 13:02:00 mdw
+## Distribute stamp-html.in so that the HTML files don't get recreated
+## unnecessarily.
+##