diff Makefile.in @ 104557:4ac126250d16

* 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.
author Ken Raeburn <raeburn@raeburn.org>
date Sun, 23 Aug 2009 03:54:32 +0000
parents 012ded1c9caf
children dbb1369b5eaf
line wrap: on
line diff
--- a/Makefile.in	Sun Aug 23 02:15:00 2009 +0000
+++ b/Makefile.in	Sun Aug 23 03:54:32 2009 +0000
@@ -526,7 +526,7 @@
 	   then \
 	     docfile="DOC-$${fullversion}"; \
 	   else \
-	     docfile="DOC-${version}*"; \
+	     docfile="DOC"; \
 	   fi; \
 	   echo "Copying etc/$${docfile} to $(DESTDIR)${docdir} ..." ; \
 	   (cd ./etc; tar -chf - $${docfile}) \