3 # Running 'binary-dist' gives us a tree which
4 # isn't quite right for the purposes of creating
5 # a mingw/win32 install tree. This script rejigs
10 # foo$ cd <top of fptools build tree>
11 # foo$ make binary-dist Project=Ghc
12 # foo$ cd ghc-<version>
13 # foo$ ../distrib/prep-bin-dist-mingw-haddock <ghc-dir>
19 if ! [ -d bin/i386-unknown-mingw32 ] ; then
20 echo "Doesn't look as if I'm in the toplevel directory of a mingw tree"
21 echo "Usage: cd ghc-<version> ; ../distrib/prep-bin-dist-mingw"
26 mv lib/i386-unknown-mingw32/haddock.bin $ghc_binary_dir/bin/haddock.exe
27 strip $ghc_binary_dir/bin/haddock.exe
30 mv lib/i386-unknown-mingw32/* $ghc_binary_dir