From 79af64593a0dde840f08bb58844e80f9f528b530 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sat, 10 Nov 2007 18:00:14 +0000 Subject: [PATCH] Tweak gen_contents_index to work with Solaris's sh --- libraries/gen_contents_index | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index index 393a879..fd9048b 100644 --- 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 -- 1.7.10.4