diff options
author | sof <unknown> | 2002-07-09 15:57:09 +0000 |
---|---|---|
committer | sof <unknown> | 2002-07-09 15:57:09 +0000 |
commit | d89f0e2d2adf5ebce15984d08b1d00de60db6d78 (patch) | |
tree | 8436c6691b416f7591b5af898ddd27f1949d2c42 /distrib/prep-bin-dist-mingw | |
parent | 75c431d16d01cb3b01f8d81d0520f43b4f9bac50 (diff) | |
download | haskell-d89f0e2d2adf5ebce15984d08b1d00de60db6d78.tar.gz |
[project @ 2002-07-09 15:57:09 by sof]
merge rev. 1.1.6.1
Diffstat (limited to 'distrib/prep-bin-dist-mingw')
-rw-r--r-- | distrib/prep-bin-dist-mingw | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw index 6f02f0be2a..924b1c404a 100644 --- a/distrib/prep-bin-dist-mingw +++ b/distrib/prep-bin-dist-mingw @@ -16,13 +16,17 @@ export gcc_lib=c:/ghc/ghc-5.02.2/gcc-lib export perl_dir=c:/ghc/ghc-5.02.2 export mingw_include=c:/ghc/ghc-5.02.2/include/mingw +# Play safe +if ! [ -d bin/i386-unknown-mingw32 ] ; then + echo "Doesn't look as if I'm in the toplevel directory of a mingw tree" + echo "Usage: cd ghc-<version> ; ../distrib/prep-bin-dist-mingw" + exit 1; +fi; + echo "Removing configure script files...not needed" rm -f config.guess config.sub configure configure.in mkdirhier rm -f Makefile-bin.in Makefile.in aclocal.m4 install-sh -# For reasons unknown, duplicate copies of misc file in share/ -rm -rf share/ - echo "rejig bin/" mv bin/i386-unknown-mingw32/* bin/ rmdir bin/i386-unknown-mingw32 @@ -48,14 +52,18 @@ cp ${perl_dir}/perl.exe . cp ${perl_dir}/perl56.dll . cp ${perl_dir}/gcc.exe . -echo "formatting documentation" -mkdir doc -mkdir doc/user-guide -cp -Rf html/* doc/user-guide/ -cp pdf/set.pdf doc/ -rm -rf html/ -rm -rf pdf/ - - +# For reasons unknown, duplicate copies of misc package files in share/ +# (leave them be for now.) +echo "formatting documentation" +cp README README.txt +mv share doc +cp ../ghc/docs/users_guide/users_guide.pdf doc/ +cp ../hslibs/doc/hslibs.pdf doc/ +#mkdir doc +#mkdir doc/user-guide +#cp -Rf html/* doc/user-guide/ +#cp pdf/set.pdf doc/ +#rm -rf html/ +#rm -rf pdf/ |