# HG changeset patch
# User jwe
# Date 758836717 0
# Node ID cea502d7510e4ceb387abc0282d1fde957a1d0d4
# Parent  cd8402c9a810eb3e83297f327e8a2ed75384e42b
[project @ 1994-01-17 19:58:37 by jwe]

diff -r cd8402c9a810 -r cea502d7510e src/Makefile.in
--- a/src/Makefile.in	Mon Jan 17 07:10:52 1994 +0000
+++ b/src/Makefile.in	Mon Jan 17 19:58:37 1994 +0000
@@ -142,7 +142,7 @@
 
 # Special rules -- these files need special things to be defined.
 
-defaults.h: ../Makeconf defaults.h.in
+defaults.h: ../Makeconf Makefile defaults.h.in
 	@echo "Making defaults.h from defaults.h.in..."
 	@(sed < $(srcdir)/defaults.h.in > defaults.h.tmp \
 	-e 's;%DEFAULT_PAGER%;\"${DEFAULT_PAGER}\";' \