# HG changeset patch
# User jwe
# Date 745014942 0
# Node ID 36bbfe8c8d9fe6a0733a4cc5c51f303710f200ce
# Parent  2cd2476fb32d813239051b9363924e44f4591a58
[project @ 1993-08-10 20:35:42 by jwe]
Use %foo%, no @foo@ to do mark things to substitute.

diff -r 2cd2476fb32d -r 36bbfe8c8d9f src/defaults.h.in
--- a/src/defaults.h.in	Tue Aug 10 20:28:05 1993 +0000
+++ b/src/defaults.h.in	Tue Aug 10 20:35:42 1993 +0000
@@ -25,11 +25,11 @@
 #define _defaults_h 1
 
 #ifndef DEFAULT_PAGER
-#define DEFAULT_PAGER @DEFAULT_PAGER@
+#define DEFAULT_PAGER %DEFAULT_PAGER%
 #endif
 
 #ifndef OCTAVE_HOME
-#define OCTAVE_HOME @OCTAVE_HOME@
+#define OCTAVE_HOME %OCTAVE_HOME%
 #endif
 
 #endif