Make hoogle-local compatible wih hoogle >= 5.0.4
This commit is contained in:
committed by
Peter Simons
parent
57f5d1b7a8
commit
f16f2017ac
@@ -2,4 +2,4 @@
|
||||
|
||||
COMMAND=$1
|
||||
shift
|
||||
exec @hoogle@/bin/hoogle "$COMMAND" -d @out@/share/doc/hoogle "$@"
|
||||
exec @hoogle@/bin/hoogle "$COMMAND" --database @out@/share/doc/hoogle/default.hoo "$@"
|
||||
|
||||
Reference in New Issue
Block a user