diff options
author | alfredoport <doyenatccny@gmail.com> | 2008-08-29 23:04:35 +0000 |
---|---|---|
committer | alfredoport <doyenatccny@gmail.com> | 2008-08-29 23:04:35 +0000 |
commit | 496fe8b336293c1ca960eb3fad67ac005403ee31 (patch) | |
tree | 96f321e2d64df80a11a532360b652edf62052572 /src/hyper/pages/man0.ht | |
parent | c57b76ca8c51522c2f6b99999213aeb125252fca (diff) | |
download | open-axiom-496fe8b336293c1ca960eb3fad67ac005403ee31.tar.gz |
Fixes to HyperDoc by Waldek Hebisch.
Diffstat (limited to 'src/hyper/pages/man0.ht')
-rw-r--r-- | src/hyper/pages/man0.ht | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/hyper/pages/man0.ht b/src/hyper/pages/man0.ht index 8583f4ea..70756edd 100644 --- a/src/hyper/pages/man0.ht +++ b/src/hyper/pages/man0.ht @@ -9,7 +9,7 @@ Enter search string : \newline \beginmenu \menuunixlink{Search} - {htsearch "\stringvalue{pattern}"} + {\$AXIOM/lib/htsearch "\stringvalue{pattern}"} \tab{15} Reference documentation ({\em *} wild card is not accepted). \endmenu \endscroll @@ -45,7 +45,7 @@ Enter search string (use {\em *} for wild card unless counter-indicated): \tab{15} Detailed search with selectable options. \horizontalline \menuunixlink{Reference} - {htsearch "\stringvalue{pattern}"} + {\$AXIOM/lib/htsearch "\stringvalue{pattern}"} \tab{15} Search Reference documentation ({\em *} wild card is not accepted). \menumemolink{Commands}{ugSysCmdPage} \tab{15} View system command documentation. |