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"
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"
#
# g++-3/ subdir causes problems with installer tool (+ being a
# troublesome character); leave out for now.
#
# g++-3/ subdir causes problems with installer tool (+ being a
# troublesome character); leave out for now.
cp ../ghc/docs/users_guide/users_guide.pdf doc/ || echo "No User Guide PDF doc found"
cp ../hslibs/doc/hslibs.pdf doc/ || echo "No HSLIBS PDF doc found"
cp ../ghc/docs/users_guide/users_guide.pdf doc/ || echo "No User Guide PDF doc found"
cp ../hslibs/doc/hslibs.pdf doc/ || echo "No HSLIBS PDF doc found"