diff options
| author | sof <unknown> | 2005-04-29 21:56:06 +0000 |
|---|---|---|
| committer | sof <unknown> | 2005-04-29 21:56:06 +0000 |
| commit | 3eaf13137ab87e4d6c3404fa0895b49a2a1b93cf (patch) | |
| tree | 82c464c86c3c4ac22cfa12d09da2bfa429722454 /distrib | |
| parent | d64e3d900038611b79c8e5223a4d93b071b8b679 (diff) | |
| download | haskell-3eaf13137ab87e4d6c3404fa0895b49a2a1b93cf.tar.gz | |
[project @ 2005-04-29 21:56:06 by sof]
leave out Java bits in include/ that mingw-3.2 supplies; temporarily disable PDF document generation
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/prep-bin-dist-mingw | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw index 957030a3f4..4d462a42ad 100644 --- a/distrib/prep-bin-dist-mingw +++ b/distrib/prep-bin-dist-mingw @@ -114,6 +114,11 @@ cp -Rf $mingw_include/* include/mingw # troublesome character); leave out for now. #rm -rf include/mingw/g++-3/ || echo "g++-3/ not there" rm -rf include/mingw/c++/ || echo "c++/ not there" +rm -rf include/mingw/ddk/ || echo "ddk/ not there" +rm -rf include/mingw/gnu/ || echo "gnu/ not there" +rm -rf include/mingw/javax/ || echo "javax/ not there" +rm -rf include/mingw/java/ || echo "java/ not there" +rm -rf include/mingw/gcj/ || echo "gcj/ not there" echo "add gcc" cp ${mingw_bin}/gcc.exe . @@ -129,9 +134,12 @@ cp ${perl_dir}/perl56.dll . echo "formatting documentation" cp README README.txt mv share doc -cp ../ghc/docs/users_guide/users_guide.pdf doc/ || - (make -C ../ghc/docs/users_guide/ pdf ; cp ../ghc/docs/users_guide/users_guide.pdf doc/) || - echo "No User Guide PDF doc found" -cp ../hslibs/doc/hslibs.pdf doc/ || - (make -C ../hslibs/doc/ pdf ; cp ../hslibs/doc/hslibs.pdf doc/) || - echo "No HSLIBS PDF doc found" + +# Leave out pdf users_guide documentation for now; problematic to build with the versions +# of 'xsltproc' and 'fop' I've been able to lay my hands on. +#cp ../ghc/docs/users_guide/users_guide.pdf doc/ || +# (make -C ../ghc/docs/users_guide/ pdf ; cp ../ghc/docs/users_guide/users_guide.pdf doc/) || +# echo "No User Guide PDF doc found" +#cp ../hslibs/doc/hslibs.pdf doc/ || +# (make -C ../hslibs/doc/ pdf ; cp ../hslibs/doc/hslibs.pdf doc/) || +# echo "No HSLIBS PDF doc found" |