Tweak gen_contents_index

It now works again after it has been installed, as well as while it is
in a source tree.
After it's been installed it filters out the ghc package, as that
currently swamps everything else in the index.

diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index 8129beb..db84b1d 100644 (file)
--- a/libraries/gen_contents_index
+++ b/libraries/gen_contents_index
@@ -2,16 +2,18 @@
 
 set -e
 
 
 set -e
 

-HADDOCK=../utils/haddock/install-inplace/bin/haddock

 HADDOCK_ARGS=
 NAMES=
 
 case $* in
 --inplace)
 HADDOCK_ARGS=
 NAMES=
 
 case $* in
 --inplace)

+    HADDOCK=../utils/haddock/install-inplace/bin/haddock

     HADDOCK_FILES=`ls -1 */dist/doc/html/*/*.haddock | sort`
     ;;
 *)
     HADDOCK_FILES=`ls -1 */dist/doc/html/*/*.haddock | sort`
     ;;
 *)

-    HADDOCK_FILES=`ls -1 */*.haddock | sort`
+    HADDOCK=../../../../bin/haddock
+    # We don't want the GHC API to swamp the index
+    HADDOCK_FILES=`ls -1 */*.haddock | grep -v "ghc/" | sort`

     ;;
 esac
 
     ;;
 esac