generated during loadup+dump isn't found, install the plain DOC
file that always gets generated, in case CANNOT_DUMP is set.
-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.
then \
docfile="DOC-$${fullversion}"; \
else \
- docfile="DOC-${version}*"; \
+ docfile="DOC"; \
fi; \
echo "Copying etc/$${docfile} to $(DESTDIR)${docdir} ..." ; \
(cd ./etc; tar -chf - $${docfile}) \