# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769419337 0
# Node ID 72d8287c8b16e70225a4d4dded2df527e195d168
# Parent  7bfbe20f7686f1ec85c7c67e3fbe5cab4aaecb02
(lib-src): Don't depend on src/paths.h.

diff -r 7bfbe20f7686 -r 72d8287c8b16 Makefile.in
--- a/Makefile.in	Fri May 20 05:32:26 1994 +0000
+++ b/Makefile.in	Fri May 20 07:35:37 1994 +0000
@@ -221,7 +221,11 @@
 
 src:	lib-src FRC.src
 
-lib-src: FRC.lib-src src/paths.h
+# This ought to depend on src/paths.h, so that in parallel make
+# src/paths.h will be available for the compilations in lib-src.
+# But that causes trouble in `make install' if a different prefix
+# is specified at that time.
+lib-src: FRC.lib-src
 
 .RECURSIVE: ${SUBDIR}