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)