haddock-2.15.0: haddock-api/src/haddock.sh

# Mini-driver for Haddock

# needs the following variables:
#	HADDOCKLIB
#	HADDOCKBIN

$HADDOCKBIN --lib $HADDOCKLIB ${1+"$@"}