diff run-octave.in @ 8940:6994961bf1f4

use doc-cache instead of DOC for doc cache file name
author John W. Eaton <jwe@octave.org>
date Mon, 09 Mar 2009 14:31:10 -0400
parents eb63fbe60fab
children eb1747dbd360
line wrap: on
line diff
--- a/run-octave.in	Mon Mar 09 13:36:11 2009 -0400
+++ b/run-octave.in	Mon Mar 09 14:31:10 2009 -0400
@@ -51,7 +51,7 @@
 
 LOADPATH="$d1_path:$d2_path:$d3_path:$d4_path"
 IMAGEPATH="$top_srcdir/scripts/image"
-DOCFILE="$builddir/doc/interpreter/DOC"
+DOCFILE="$builddir/doc/interpreter/doc-cache"
 INFOFILE="$builddir/doc/interpreter/octave.info"
 
 if [ $# -gt 0 ]; then