diff src/defaults.cc @ 2512:fda09c1e787e

[project @ 1996-11-14 08:39:41 by jwe]
author jwe
date Thu, 14 Nov 1996 08:39:47 +0000
parents 06595bc7f2d0
children 4f095783ee43
line wrap: on
line diff
--- a/src/defaults.cc	Thu Nov 14 03:00:12 1996 +0000
+++ b/src/defaults.cc	Thu Nov 14 08:39:47 1996 +0000
@@ -184,15 +184,11 @@
 static void
 set_default_info_file (void)
 {
+  string std_info_file = subst_octave_home (OCTAVE_INFOFILE);
+
   char *oct_info_file = getenv ("OCTAVE_INFO_FILE");
 
-  if (oct_info_file)
-    Vinfo_file = string (oct_info_file);
-  else
-    {
-      Vinfo_file = Vinfo_dir;
-      Vinfo_file.append ("/octave.info");
-    }
+  Vinfo_file = oct_info_file ? string (oct_info_file) : std_info_file;
 }
 
 static void