commit b32abb60968e84aaa51d59101f1fe6c59e8882fe
parent 2ef2b26e2b5e6d4f53d3a572c76ca73230b0fd47
Author: Christian Grothoff <christian@grothoff.org>
Date: Tue, 25 Sep 2012 15:23:30 +0000
distfix
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/Makefile.am b/doc/Makefile.am
@@ -1,7 +1,7 @@
man_MANS = extract.1 libextractor.3
-EXTRA_DIST = $(man_MANS)
+EXTRA_DIST = $(man_MANS)
DISTCLEANFILES = libextractor.cps
info_TEXINFOS = libextractor.texi
-extractor_TEXINFOS = gpl.texi
+extractor_TEXINFOS = gpl.texi fdl-1.3.texi