1 files changed, 0 insertions, 42 deletions
diff --git a/databases/postgresql10-server/files/patch-doc-src-sgml-Makefile b/databases/postgresql10-server/files/patch-doc-src-sgml-Makefile
deleted file mode 100644
index 7a1a5142f780..000000000000
--- a/databases/postgresql10-server/files/patch-doc-src-sgml-Makefile
+++ /dev/null
@@ -1,42 +0,0 @@
---- 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: