Commit f1b2dfb8 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Add a script for library merging

parent 5fddd81f
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
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
tar -jcf ../../../../../../$i.html.tar.bz2 $i
cd ..
mv *.pdf *.ps ../../../../..
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment