File pl.patch of Package swipl
diff -Pdpru pl-6.6.6/packages/plunit/Makefile.in pl-6.6.6-mod/packages/plunit/Makefile.in
--- pl-6.6.6/packages/plunit/Makefile.in 2014-04-02 18:30:12.000000000 +0900
+++ pl-6.6.6-mod/packages/plunit/Makefile.in 2014-07-22 21:15:06.735393637 +0900
@@ -34,7 +34,6 @@ ln-install: $(addprefix $(srcdir)/, $(LI
rpm-install: install
pdf-install: install-examples
- $(INSTALL_DATA) $(DOC).pdf $(DESTDIR)$(PKGDOC)
html-install: install-examples
$(INSTALL_DATA) $(DOC).html $(DESTDIR)$(PKGDOC)