diff options
| author | Adam Sandberg Ericsson <adam@sandbergericsson.se> | 2020-12-21 09:08:11 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-22 22:10:45 -0500 |
| commit | 50236ed2e628289f6b6954db7b1021c0b03bbb4f (patch) | |
| tree | a03fa29079b27b35a990c5f5a07a7c74747fb3b8 /distrib | |
| parent | 53fb345d4fb4c06f6f5450b206250eec24578d8b (diff) | |
| download | haskell-50236ed2e628289f6b6954db7b1021c0b03bbb4f.tar.gz | |
mkDocs: address shellcheck issues
Diffstat (limited to 'distrib')
| -rwxr-xr-x | distrib/mkDocs/mkDocs | 8 |
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 |