Tweak gen_contents_index to work with Solaris's sh

diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index 393a879..fd9048b 100644 (file)
--- a/libraries/gen_contents_index
+++ b/libraries/gen_contents_index
@@ -10,7 +10,7 @@ case $* in
     GHC_PKG=../utils/ghc-pkg/ghc-pkg-inplace
     for DIR in */
     do
-        NAME=${DIR%/}
+        NAME=`echo "$DIR" | sed 's#/$##'`
         HADDOCK_FILE=$NAME/dist/doc/html/$NAME/$NAME.haddock
         if [ -f $HADDOCK_FILE ]
         then