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"