diff options
Diffstat (limited to 'src/haddock.sh')
| -rw-r--r-- | src/haddock.sh | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/haddock.sh b/src/haddock.sh index b0b534f0..f1ad0191 100644 --- a/src/haddock.sh +++ b/src/haddock.sh @@ -1,10 +1,7 @@ # Mini-driver for Haddock # needs the following variables: -# HADDOCKCSS +# HADDOCKLIB # HADDOCKBIN -case $* in -*--css*) $HADDOCKBIN ${1+"$@"};; -*) $HADDOCKBIN --css $HADDOCKCSS ${1+"$@"};; -esac +$HADDOCKBIN --lib $HADDOCKLIB ${1+"$@"} |