-# Automagically create the prologue for the combined index via a
-# header, the package prologues (in alphabetical order of the
-# packages) and a footer.
-{
- cat libraries-header.txt
- echo
- # Hack to find out if we're in a build tree or installed docs
- for HADDOCK_FILE in $HADDOCK_FILES