log Makefile.in @ 3123:0e9f73b6245d

age author description
Wed, 26 May 1993 18:27:58 +0000 Jim Blandy * Makefile.in (do-install): Don't remove a destination directory
Tue, 25 May 1993 20:00:53 +0000 Richard M. Stallman (INSTALL): Add definition.
Tue, 25 May 1993 14:15:52 +0000 Jim Blandy * Makefile.in (srcdir): Remove comment saying this doesn't work.
Tue, 25 May 1993 06:18:24 +0000 Jim Blandy * Makefile.in (src/paths.h): Edit the `infodir' variable into this
Mon, 24 May 1993 16:01:41 +0000 Jim Blandy * Makefile.in: Doc fix.
Mon, 24 May 1993 06:08:13 +0000 Jim Blandy * configure.in: Add support for the `--exec-prefix' option.
Sun, 23 May 1993 21:49:20 +0000 Jim Blandy * Makefile.in (C_SWITCH_X_SITE): New variable - get this from