distrib info files

diff --git a/dist-subd-vars.am b/dist-subd-vars.am
index 94fe9669a37b81e253e16882a181de3990d56eef..efc8c932d2110642e54c3eb59ef29738bf381c24 100644 (file)
--- a/dist-subd-vars.am
+++ b/dist-subd-vars.am
@@ -1,3 +1,3 @@
 DIST_CONF = Makefile.am Makefile.in
-DIST_FILES = $(DIST_CONF) $(SOURCES) $(TEXINFOS) $(MANS) $(DIST_OTHER)
+DIST_FILES = $(DIST_CONF) $(SOURCES) $(TEXINFOS) $(INFOS) $(MANS) $(DIST_OTHER)
 

diff --git a/dist-vars.am b/dist-vars.am
index 8d01125c8cb6d96df837596d4febdde0b95a759c..0a97a8ef05082024d35f672715ed0856d83fef27 100644 (file)
--- a/dist-vars.am
+++ b/dist-vars.am
@@ -1,5 +1,5 @@
 DIST_CONF = Makefile.am Makefile.in README INSTALL NEWS \
        configure configure.in ${ACLOCAL} ${ACCONFIG} ${CONFIG_TOP} \
        ${CONFIG_BOT} mkinstalldirs
-DIST_FILES = $(DIST_CONF) $(SOURCES) $(TEXINFOS) $(MANS) $(DIST_OTHER)
+DIST_FILES = $(DIST_CONF) $(SOURCES) $(TEXINFOS) $(INFOS) $(MANS) $(DIST_OTHER)