summaryrefslogtreecommitdiff
path: root/distrib/mkDocs
diff options
context:
space:
mode:
authorAdam Sandberg Ericsson <adam@sandbergericsson.se>2020-12-21 09:08:11 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-12-22 22:10:45 -0500
commit50236ed2e628289f6b6954db7b1021c0b03bbb4f (patch)
treea03fa29079b27b35a990c5f5a07a7c74747fb3b8 /distrib/mkDocs
parent53fb345d4fb4c06f6f5450b206250eec24578d8b (diff)
downloadhaskell-50236ed2e628289f6b6954db7b1021c0b03bbb4f.tar.gz
mkDocs: address shellcheck issues
Diffstat (limited to 'distrib/mkDocs')
-rwxr-xr-xdistrib/mkDocs/mkDocs8
1 files changed, 4 insertions, 4 deletions
diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs
index 9008a5ca9f..641d945cfa 100755
--- a/distrib/mkDocs/mkDocs
+++ b/distrib/mkDocs/mkDocs
@@ -15,12 +15,12 @@ then
fi
[ "$#" -eq 2 ] || die "Bad args. Usage: $0 [--no-clean] <Linux bindist> <Windows bindist>"
-LINUX_BINDIST=`realpath "$1"`
-WINDOWS_BINDIST=`realpath "$2"`
+LINUX_BINDIST=$(realpath "$1")
+WINDOWS_BINDIST=$(realpath "$2")
mkdir docs
cd docs
-INST=`pwd`/inst
+INST=$(pwd)/inst
tar -Jxf "$LINUX_BINDIST"
mv ghc* linux
cd linux
@@ -46,7 +46,7 @@ do
done
mv index.html ../../../../..
cd ..
-mv *.pdf ../../../..
+mv ./*.pdf ../../../..
cd ../../../..
[ "$NO_CLEAN" -eq 0 ] && rm -r inst
[ "$NO_CLEAN" -eq 0 ] && rm -r windows