* Makefile.in (install-arch-indep): If the versioned DOC-####
authorKen Raeburn <raeburn@raeburn.org>
Sun, 23 Aug 2009 03:54:32 +0000 (03:54 +0000)
committerKen Raeburn <raeburn@raeburn.org>
Sun, 23 Aug 2009 03:54:32 +0000 (03:54 +0000)
commit201a407332e00f12a53ea87aa107860c813c30c2
treeb262d3b232feab6394cdf8e4d1c2c6e79f326989
parent879de935e0362c00955b406c7291953db01e0b95
* 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.
ChangeLog
Makefile.in