diff options
Diffstat (limited to 'src/hyper/htsearch')
-rwxr-xr-x | src/hyper/htsearch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/hyper/htsearch b/src/hyper/htsearch deleted file mode 100755 index 76d95063..00000000 --- a/src/hyper/htsearch +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -htbindir=$AXIOM/lib -htpagedir=$AXIOM/share/hypertex/pages - - -if test -z "$1" -then - echo ""|$htbindir/presea case=1 - -else -( cd $htpagedir; $htbindir/hthits "$1" $htpagedir/ht.db |sort -r -n -k 1.22 |$htbindir/presea case=0 expr="$1" -) -fi |