diff options
Diffstat (limited to 'src/interp/ht-root.boot.pamphlet')
| -rw-r--r-- | src/interp/ht-root.boot.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/ht-root.boot.pamphlet b/src/interp/ht-root.boot.pamphlet index 3d8d08af..e8c27ee0 100644 --- a/src/interp/ht-root.boot.pamphlet +++ b/src/interp/ht-root.boot.pamphlet @@ -158,7 +158,7 @@ htGlossPage(htPage,pattern,tryAgain?) == results := applyGrep(grepForm,'gloss) --pathname := STRCONC('"/tmp/",PNAME resultFile,'".text.", getEnv '"SPADNUM") --instream := MAKE_-INSTREAM pathname - defstream := MAKE_-INSTREAM STRCONC(getEnv '"AXIOM",'"/algebra/glossdef.text") + defstream := MAKE_-INSTREAM STRCONC(systemRootDirectory(),'"/algebra/glossdef.text") lines := gatherGlossLines(results,defstream) -- OBEY STRCONC('"rm -f ", pathname) --PROBE_-FILE(pathname) and DELETE_-FILE(pathname) |