aboutsummaryrefslogtreecommitdiff
path: root/src/haddock.sh
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-04-25 14:40:05 +0000
committersimonmar <unknown>2002-04-25 14:40:05 +0000
commit6395502702ae2cf4f4ff969fce2b984e603f0f86 (patch)
tree69f42c9a9c3e49e0745a9d5937277b8587ebe79b /src/haddock.sh
parent044cea8101424a367d578d4943553e5b20bd6ec0 (diff)
[haddock @ 2002-04-25 14:40:05 by simonmar]
- Add support for named chunks of documentation which can be referenced from the export list. - Copy the icon from $libdir to the destination in HTML mode.
Diffstat (limited to 'src/haddock.sh')
-rw-r--r--src/haddock.sh7
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+"$@"}