2004-10-20  Stepan Kasal  <address@hidden>

	* info/Makefile.am (EXTRA_DIST): No need to mention the generated
	  sources here, they are in ginfo_SOURCES or infokey_SOURCES.

--- info/Makefile.am	2004-10-20 13:07:12.000000000 +0200
+++ info/Makefile.am	2004-10-20 13:07:26.000000000 +0200
@@ -38,7 +38,7 @@
 # We distribute the BUILT_SOURCES even though they get rebuilt by
 # installers, just in case something goes wrong.  Then installers have
 # the intended sources there to use or debug with.
-EXTRA_DIST = README pcterm.c $(BUILT_SOURCES)
+EXTRA_DIST = README pcterm.c
 
 makedoc_SOURCES = makedoc.c
 ginfo_SOURCES = dir.c display.c display.h doc.h dribble.c dribble.h \