#!/bin/sh
HADDOCKLIB="/usr/share/haddock-0.6";
HADDOCKBIN="/usr/lib/haddock-0.6/haddock.bin";
# Mini-driver for Haddock

# needs the following variables:
#	HADDOCKLIB
#	HADDOCKBIN

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