# HG changeset patch
# User jwe
# Date 751240902 0
# Node ID a76cfc0fc7948f57d4bc237a728e792f5a3b58b4
# Parent  49ab724d0a326ba6737715fe9fcf1025462ef80b
[project @ 1993-10-21 22:01:42 by jwe]

diff -r 49ab724d0a32 -r a76cfc0fc794 src/defaults.h.in
--- a/src/defaults.h.in	Thu Oct 21 21:57:52 1993 +0000
+++ b/src/defaults.h.in	Thu Oct 21 22:01:42 1993 +0000
@@ -28,6 +28,14 @@
 #define DEFAULT_PAGER %DEFAULT_PAGER%
 #endif
 
+#ifndef DEFAULT_INFO_PROG
+#define DEFAULT_INFO_PROG %DEFAULT_INFO_PROG%
+#endif
+
+#ifndef DEFAULT_INFO_FILE
+#define DEFAULT_INFO_FILE %DEFAULT_INFO_FILE%
+#endif
+
 #ifndef OCTAVE_HOME
 #define OCTAVE_HOME %OCTAVE_HOME%
 #endif