diff options
Diffstat (limited to 'khelpcenter/htmlsearch/meinproc_wrapper')
-rw-r--r-- | khelpcenter/htmlsearch/meinproc_wrapper | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/khelpcenter/htmlsearch/meinproc_wrapper b/khelpcenter/htmlsearch/meinproc_wrapper new file mode 100644 index 000000000..239cf7462 --- /dev/null +++ b/khelpcenter/htmlsearch/meinproc_wrapper @@ -0,0 +1,4 @@ +#! /bin/sh + +file=`echo $3 | sed -e "s#http://localhost/#/#; s#file:/*#/#"` +meinproc --htdig $file |