1 files changed, 46 insertions, 0 deletions
diff --git a/databases/postgresql96-server/files/patch-doc-src-sgml-Makefile b/databases/postgresql96-server/files/patch-doc-src-sgml-Makefile
new file mode 100644
index 000000000000..6e9522b1e45a
--- /dev/null
+++ b/databases/postgresql96-server/files/patch-doc-src-sgml-Makefile
@@ -0,0 +1,46 @@
+--- doc/src/sgml/Makefile.orig	2015-10-05 21:09:44.000000000 +0200
++++ doc/src/sgml/Makefile	2015-10-09 01:02:37.164797000 +0200
+@@ -15,7 +15,7 @@
+ 
+ # Make "html" the default target, since that is what most people tend
+ # to want to use.
+-html:
++man:
+ 
+ NO_TEMP_INSTALL=yes
+ 
+@@ -24,7 +24,7 @@
+ include $(top_builddir)/src/Makefile.global
+ 
+ 
+-all: html man
++all: man
+ 
+ distprep: html distprep-man
+ 
+@@ -81,8 +81,6 @@
+ ## Man pages
+ ##
+ 
+-man distprep-man: man-stamp
+-
+ man-stamp: stylesheet-man.xsl postgres.xml
+ 	$(XMLLINT) --noout --valid postgres.xml
+ 	$(XSLTPROC) $(XSLTPROCFLAGS) $(XSLTPROC_MAN_FLAGS) $^
+@@ -326,14 +324,14 @@
+ ## Install
+ ##
+ 
+-install: install-html
++install: install-man
+ 
+ ifneq ($(PORTNAME), sco)
+ install: install-man
+ endif
+ 
+ installdirs:
+-	$(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
++	$(MKDIR_P) $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
+ 
+ # If the install used a man directory shared with other applications, this will remove all files.
+ uninstall: