diff options
Diffstat (limited to 'dev-lang/swi-prolog/files/swi-prolog-db-docs.patch')
| -rw-r--r-- | dev-lang/swi-prolog/files/swi-prolog-db-docs.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/dev-lang/swi-prolog/files/swi-prolog-db-docs.patch b/dev-lang/swi-prolog/files/swi-prolog-db-docs.patch new file mode 100644 index 000000000000..12b7389fe918 --- /dev/null +++ b/dev-lang/swi-prolog/files/swi-prolog-db-docs.patch @@ -0,0 +1,21 @@ +--- pl-5.6.17.orig/packages/db/Makefile.in 2005-12-15 04:54:38.000000000 +1300 ++++ pl-5.6.17/packages/db/Makefile.in 2006-08-27 10:41:12.000000000 +1200 +@@ -9,6 +9,7 @@ + PL=@PL@ + PLBASE=@PLBASE@ + PLARCH=@PLARCH@ ++PKGDOC=$(PLBASE)/doc/packages + PCEHOME=/staff/jan/src/xpce + DESTDIR= + +@@ -57,6 +58,10 @@ + $(INSTALL) -m 644 $(LIBPL) $(DESTDIR)$(PLBASE)/library + $(PL) -f none -g make -t halt + ++html-install:: ++ mkdir -p $(DESTDIR)$(PKGDOC) ++ $(INSTALL_DATA) $(DOC).html $(DESTDIR)$(PKGDOC) ++ + uninstall: + (cd $(PLBASE)/library && rm -f $(LIBPL)) + $(PL) -f none -g make -t halt |