From f1b2dfb870da464ccf4e6be75c643738d4206a0b Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Sun, 27 Mar 2011 18:35:36 +0000
Subject: [PATCH] Add a script for library merging

---
 distrib/mkDocs/mkDocs |   34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 distrib/mkDocs/mkDocs

diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs
new file mode 100644
index 0000000..07faa3d
--- /dev/null
+++ b/distrib/mkDocs/mkDocs
@@ -0,0 +1,34 @@
+#!/bin/sh
+
+set -e
+
+die () {
+    echo "$1" >&2
+    exit 1
+}
+
+[ "$#" -eq 2 ] || die "Bad args. Usage: $0 <Linux bindist> <Windows bindist>"
+
+LINUX_BINDIST=`realpath "$1"`
+WINDOWS_BINDIST=`realpath "$2"`
+
+mkdir docs
+cd docs
+tar -jxf "$LINUX_BINDIST"
+mv ghc* linux
+tar -jxf "$WINDOWS_BINDIST"
+mv ghc* windows
+cd linux
+./configure --prefix=`pwd`/inst
+make install
+cd inst/share/doc/ghc/html/libraries
+mv ../../../../../../../windows/doc/html/libraries/Win32-* .
+sh gen_contents_index
+cd ..
+for i in Cabal haddock libraries users_guide
+do
+    tar -jcf ../../../../../../$i.html.tar.bz2 $i
+done
+cd ..
+mv *.pdf *.ps ../../../../..
+
-- 
1.7.10.4