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

diff --git a/manual/Makefile.am b/manual/Makefile.am
index 040a2af69a22a43ae0c6e66708cd82a1e40267c3..da293eef56ed19f7afe5db05dca02772f5993503 100644 (file)
--- a/manual/Makefile.am
+++ b/manual/Makefile.am
@@ -1,7 +1,7 @@
 ## Process this file with `automake' to generate `Makefile.in'
 ## -*-makefile-*-
 ##
 ## 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'
 ##
 ##
 ## Makefile for `become'
 ##


@@ -29,6 +29,9 @@
 ##----- Revision history ----------------------------------------------------
 ##
 ## $Log: Makefile.am,v $
 ##----- 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.
 ##
 ## Revision 1.5  1998/01/20 14:48:18  mdw
 ## Distribute gpl.texi.  Ooops.
 ##


@@ -50,7 +53,7 @@
 
 htmldir = @htmldir@
 
 
 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
 
 info_TEXINFOS = become.texi
 noinst_DATA = become_*.html