* Makefile.in (install-arch-indep): If the versioned DOC-####

generated during loadup+dump isn't found, install the plain DOC
file that always gets generated, in case CANNOT_DUMP is set.

2 files changed, 6 insertions, 2 deletions

diff --git a/ChangeLog b/ChangeLog
index 2b04c8264f4..adf190621ed 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,8 @@
-2009-08-23  Ken Raeburn  <raeburn@mit.edu>
+2009-08-23  Ken Raeburn  <raeburn@raeburn.org>
+
+        * Makefile.in (install-arch-indep): If the versioned DOC-####
+        generated during loadup+dump isn't found, install the plain DOC
+        file that always gets generated, in case CANNOT_DUMP is set.
 
         * configure.in: Warn if package version specified here doesn't
         match the version in version.el.
diff --git a/Makefile.in b/Makefile.in
index 44c5cba7d9c..a3ddec80253 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -526,7 +526,7 @@ install-arch-indep: mkdir info install-etc
            then \
              docfile="DOC-$${fullversion}"; \
            else \
-             docfile="DOC-${version}*"; \
+             docfile="DOC"; \
            fi; \
            echo "Copying etc/$${docfile} to $(DESTDIR)${docdir} ..." ; \
            (cd ./etc; tar -chf - $${docfile}) \