diff options
| author | Ian Lynagh <igloo@earth.li> | 2011-03-27 18:35:36 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-03-27 18:35:36 +0000 |
| commit | f1b2dfb870da464ccf4e6be75c643738d4206a0b (patch) | |
| tree | 8c823a3d6fe50bc1ea8a5c7df90199f24cc65a20 | |
| parent | 5fddd81f04e9f9df37da19148c8e4262ea381bf8 (diff) | |
| download | haskell-f1b2dfb870da464ccf4e6be75c643738d4206a0b.tar.gz | |
Add a script for library merging
| -rw-r--r-- | distrib/mkDocs/mkDocs | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs new file mode 100644 index 0000000000..07faa3d647 --- /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 ../../../../.. + |