diff lib-src/profile.c @ 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 a9f7e446141d
children 1d1d5d9bd884
line wrap: on
line diff