7 lines
137 B
Bash
7 lines
137 B
Bash
|
#! @shell@
|
||
|
|
|
||
|
|
COMMAND=$1
|
||
|
|
shift
|
||
|
|
HOOGLE_DOC_PATH=@out@/share/hoogle/doc exec @hoogle@/bin/hoogle \
|
||
|
|
"$COMMAND" -d @out@/share/hoogle "$@"
|