summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libraries/gen_contents_index4
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index 34e51f302e..b583b8823f 100644
--- a/libraries/gen_contents_index
+++ b/libraries/gen_contents_index
@@ -75,7 +75,9 @@ fi
# Now create the combined contents and index pages
if [ -n "$VERBOSE" ]
then
- echo $HADDOCK_ARGS
+ echo $HADDOCK --gen-index --gen-contents -o . \
+ -t "Haskell Hierarchical Libraries" \
+ $HADDOCK_ARGS
fi
$HADDOCK --gen-index --gen-contents -o . \
-t "Haskell Hierarchical Libraries" \