-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"