From 597b182ead667a6e13da7da74e05c576382ab809 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 29 Sep 2014 13:35:40 +0900 Subject: [PATCH] ghc-doc-index: drop bash-ism (#1146733) --- ghc-doc-index | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc-doc-index b/ghc-doc-index index 6105d7e..a0223fa 100755 --- a/ghc-doc-index +++ b/ghc-doc-index @@ -34,5 +34,5 @@ if [ -x "gen_contents_index" -a ! -r "$PKGDIRCACHE.new" -o -n "$DIR_DIFF" ]; the fi if [ -f $PKGDIRCACHE.new ]; then - mv -f $PKGDIRCACHE{.new,} + mv -f $PKGDIRCACHE.new $PKGDIRCACHE fi