changeset 170:a76cfc0fc794

[project @ 1993-10-21 22:01:42 by jwe]
author jwe
date Thu, 21 Oct 1993 22:01:42 +0000
parents 49ab724d0a32
children d6fae6ef3e60
files src/defaults.h.in
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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