diff options
author | simonmar <unknown> | 2002-04-25 14:40:05 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-04-25 14:40:05 +0000 |
commit | 6395502702ae2cf4f4ff969fce2b984e603f0f86 (patch) | |
tree | 69f42c9a9c3e49e0745a9d5937277b8587ebe79b /src/haddock.sh | |
parent | 044cea8101424a367d578d4943553e5b20bd6ec0 (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.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+"$@"} |