diff --git a/ChangeLog b/ChangeLog index 2b04c8264f4..adf190621ed 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,8 @@ -2009-08-23 Ken Raeburn +2009-08-23 Ken Raeburn + + * 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}) \