Distribute gpl.texi. Ooops.

diff --git a/manual/Makefile.am b/manual/Makefile.am
index ab9952faa7f83191a124695e5a6bf7671b8a6a50..040a2af69a22a43ae0c6e66708cd82a1e40267c3 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.4 1998/01/12 16:45:35 mdw Exp $
+## $Id: Makefile.am,v 1.5 1998/01/20 14:48:18 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.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.4  1998/01/12 16:45:35  mdw
 ## Fix copyright date.
 ##


@@ -47,7 +50,7 @@
 
 htmldir = @htmldir@
 
 
 htmldir = @htmldir@
 

-EXTRA_DIST = texinfo.tex stamp-html.in
+EXTRA_DIST = gpl.texi texinfo.tex stamp-html.in

 info_TEXINFOS = become.texi
 noinst_DATA = become_*.html
 
 info_TEXINFOS = become.texi
 noinst_DATA = become_*.html