Distribute gpl.texi. Ooops.

diff --git a/manual/Makefile.am b/manual/Makefile.am
index ab9952f..040a2af 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.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'
 ##
@@ -29,6 +29,9 @@
 ##----- 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.
 ##
@@ -47,7 +50,7 @@
 
 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