diff options
Diffstat (limited to 'src/hyper/pages/util.ht')
| -rw-r--r-- | src/hyper/pages/util.ht | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/hyper/pages/util.ht b/src/hyper/pages/util.ht index 99eb123d..b2594d84 100644 --- a/src/hyper/pages/util.ht +++ b/src/hyper/pages/util.ht @@ -80,8 +80,8 @@ The page you requested was not found in the \HyperName{} database. % All unix commands should be done as macros defined here so we don't % have to go hunting when moving between Unix versions. -\newcommand{\newspadclient}[1]{xterm -n "#1" -e \$SPAD/bin/clef \$SPAD/bin/server/spadclient} -\newcommand{\searchwindow}[2]{\unixwindow{#1}{\$SPAD/lib/htsearch "#2"}} +\newcommand{\newspadclient}[1]{xterm -n "#1" -e \$AXIOM/bin/clef \$AXIOM/bin/server/spadclient} +\newcommand{\searchwindow}[2]{\unixwindow{#1}{\$AXIOM/lib/htsearch "#2"}} \newcommand{\unixwindow}[2]{\unixlink{#1}{#2}} \newcommand{\menuunixlink}[2]{\item\unixlink{\menuitemstyle{#1}}{#2}} \newcommand{\menuunixcommand}[2]{\item\unixcommand{\menuitemstyle{#1}}{#2}} @@ -199,14 +199,14 @@ The page you requested was not found in the \HyperName{} database. % Creating a real live viewport: -\newcommand{\viewportbutton}[2]{\unixcommand{#1}{viewAlone #2}} -\newcommand{\axiomViewportbutton}[2]{\unixcommand{#1}{viewAlone \$AXIOM/share/viewports/{#2}}} +\newcommand{\viewportbutton}[2]{\unixcommand{#1}{\$AXIOM/bin/viewAlone #2}} +\newcommand{\axiomViewportbutton}[2]{\unixcommand{#1}{\$AXIOM/bin/viewAlone \$AXIOM/share/viewports/{#2}}} \newcommand{\spadviewportbutton}[2]{\axiomViewportbutton{#1}{#2}} % Making active viewport buttons: -\newcommand{\viewportasbutton}[1]{\unixcommand{\inputimage{{#1}.VIEW/image}}{viewAlone {#1}}} -\newcommand{\axiomViewportasbutton}[1]{\unixcommand{\inputimage{\env{AXIOM}/share/viewports/{#1}.VIEW/image}}{viewAlone \$AXIOM/share/viewports/{#1}}} +\newcommand{\viewportasbutton}[1]{\unixcommand{\inputimage{{#1}.VIEW/image}}{\$AXIOM/bin/viewAlone {#1}}} +\newcommand{\axiomViewportasbutton}[1]{\unixcommand{\inputimage{\env{AXIOM}/share/viewports/{#1}.VIEW/image}}{\$AXIOM/bin/viewAlone \$AXIOM/share/viewports/{#1}}} \newcommand{\spadviewportasbutton}[1]{\axiomViewportasbutton{#1}} % ---------------------------------------------------------------------- |