# HG changeset patch
# User jwe
# Date 745014989 0
# Node ID cd2ad07bdde96721bd2b3d65afbd7a1a1a683b3d
# Parent  36bbfe8c8d9fe6a0733a4cc5c51f303710f200ce
[project @ 1993-08-10 20:36:29 by jwe]
(defaults.h): Use %foo%, not @foo@ to mark substitution.

diff -r 36bbfe8c8d9f -r cd2ad07bdde9 src/Makefile.in
--- a/src/Makefile.in	Tue Aug 10 20:35:42 1993 +0000
+++ b/src/Makefile.in	Tue Aug 10 20:36:29 1993 +0000
@@ -158,9 +158,9 @@
 
 defaults.h: ../Makeconf 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};' \
-	-e 's;@OCTAVE_HOME@;${prefix};')
+	(sed < $(srcdir)/defaults.h.in > defaults.h.tmp \
+	-e 's;%DEFAULT_PAGER%;${DEFAULT_PAGER};' \
+	-e 's;%OCTAVE_HOME%;${prefix};')
 	@$(srcdir)/move-if-change defaults.h.tmp defaults.h
 
 include $(MAKEDEPS)