Add PostgreSQL-10 to the ports tree

The PostgreSQL Global Development Group announces today that the
third beta release of PostgreSQL 10 is available for download. This
release contains previews of all of the features which will be
available in the final release of version 10, including fixes to many
of the issues found in the second beta.  Users are encouraged to begin
testing their applications against 10 beta3.

URL:	https://www.postgresql.org/about/news/1771/

1 files changed, 42 insertions, 0 deletions

diff --git a/databases/postgresql10-server/files/patch-doc-src-sgml-Makefile b/databases/postgresql10-server/files/patch-doc-src-sgml-Makefile
new file mode 100644
index 000000000000..7a1a5142f780
--- /dev/null
+++ b/databases/postgresql10-server/files/patch-doc-src-sgml-Makefile
@@ -0,0 +1,42 @@
+--- doc/src/sgml/Makefile.orig	2017-08-07 23:08:19.000000000 +0200
++++ doc/src/sgml/Makefile	2017-08-08 14:07:11.461380000 +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
+ 
+@@ -76,8 +76,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) $^
+@@ -245,10 +243,10 @@
+ ## Install
+ ##
+ 
+-install: install-html install-man
++install: install-man
+ 
+ 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: