From 91922b53b52358dfdee857b1ea29beb3a49b9c6e Mon Sep 17 00:00:00 2001
From: Ian Lynagh <ian@well-typed.com>
Date: Tue, 29 Jan 2013 14:26:30 +0000
Subject: [PATCH] Tweak the mkDocs script
---
distrib/mkDocs/mkDocs | 27 ++++++++++++++++++++-------
1 file changed, 20 insertions(+), 7 deletions(-)
mode change 100644 => 100755 distrib/mkDocs/mkDocs
diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs
old mode 100644
new mode 100755
index 4d030a500537..472bbe93a9f0
--- a/distrib/mkDocs/mkDocs
+++ b/distrib/mkDocs/mkDocs
@@ -7,28 +7,41 @@ die () {
exit 1
}
-[ "$#" -eq 2 ] || die "Bad args. Usage: $0 <Linux bindist> <Windows bindist>"
+NO_CLEAN=0
+if [ "$1" = "--no-clean" ]
+then
+ NO_CLEAN=1
+ shift
+fi
+[ "$#" -eq 2 ] || die "Bad args. Usage: $0 [--no-clean] <Linux bindist> <Windows bindist>"
LINUX_BINDIST=`realpath "$1"`
WINDOWS_BINDIST=`realpath "$2"`
mkdir docs
cd docs
+INST=`pwd`/inst
tar -jxf "$LINUX_BINDIST"
mv ghc* linux
-tar -jxf "$WINDOWS_BINDIST"
-mv ghc* windows
cd linux
-./configure --prefix=`pwd`/inst
+./configure --prefix="$INST"
make install
+cd ..
+[ "$NO_CLEAN" -eq 0 ] && rm -r linux
+tar -jxf "$WINDOWS_BINDIST"
+mv ghc* windows
cd inst/share/doc/ghc/html/libraries
-mv ../../../../../../../windows/doc/html/libraries/Win32-* .
+mv ../../../../../../windows/doc/html/libraries/Win32-* .
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.bz2 $i
done
+mv index.html ../../../../..
cd ..
-mv *.pdf *.ps ../../../../..
+mv *.pdf *.ps ../../../..
+cd ../../../..
+[ "$NO_CLEAN" -eq 0 ] && rm -r inst
+[ "$NO_CLEAN" -eq 0 ] && rm -r windows
--
GitLab