summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdistrib/mkDocs/mkDocs6
1 files changed, 3 insertions, 3 deletions
diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs
index 472bbe93a9..e06ea6ac23 100755
--- a/distrib/mkDocs/mkDocs
+++ b/distrib/mkDocs/mkDocs
@@ -21,14 +21,14 @@ WINDOWS_BINDIST=`realpath "$2"`
mkdir docs
cd docs
INST=`pwd`/inst
-tar -jxf "$LINUX_BINDIST"
+tar -Jxf "$LINUX_BINDIST"
mv ghc* linux
cd linux
./configure --prefix="$INST"
make install
cd ..
[ "$NO_CLEAN" -eq 0 ] && rm -r linux
-tar -jxf "$WINDOWS_BINDIST"
+tar -Jxf "$WINDOWS_BINDIST"
mv ghc* windows
cd inst/share/doc/ghc/html/libraries
mv ../../../../../../windows/doc/html/libraries/Win32-* .
@@ -36,7 +36,7 @@ sh gen_contents_index
cd ..
for i in haddock libraries users_guide
do
- tar -jcf ../../../../../$i.html.tar.bz2 $i
+ tar -Jcf ../../../../../$i.html.tar.xz $i
done
mv index.html ../../../../..
cd ..