Add new file `texinice.tex' to the distribution.

diff --git a/manual/Makefile.am b/manual/Makefile.am
index 040a2af..da293ee 100644 (file)
--- a/manual/Makefile.am
+++ b/manual/Makefile.am
@@ -1,7 +1,7 @@
 ## Process this file with `automake' to generate `Makefile.in'
 ## -*-makefile-*-
 ##
-## $Id: Makefile.am,v 1.5 1998/01/20 14:48:18 mdw Exp $
+## $Id: Makefile.am,v 1.6 1998/04/23 13:10:34 mdw Exp $
 ##
 ## Makefile for `become'
 ##
@@ -29,6 +29,9 @@
 ##----- Revision history ----------------------------------------------------
 ##
 ## $Log: Makefile.am,v $
+## 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.
 ##
@@ -50,7 +53,7 @@
 
 htmldir = @htmldir@
 
-EXTRA_DIST = gpl.texi texinfo.tex stamp-html.in
+EXTRA_DIST = gpl.texi texinfo.tex texinice.tex stamp-html.in
 info_TEXINFOS = become.texi
 noinst_DATA = become_*.html