diff options
Diffstat (limited to 'databases/postgresql91-server/files/patch-doc-Makefile')
-rw-r--r-- | databases/postgresql91-server/files/patch-doc-Makefile | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/databases/postgresql91-server/files/patch-doc-Makefile b/databases/postgresql91-server/files/patch-doc-Makefile deleted file mode 100644 index a366d4ca2620..000000000000 --- a/databases/postgresql91-server/files/patch-doc-Makefile +++ /dev/null @@ -1,28 +0,0 @@ ---- doc/src/sgml/Makefile.orig 2010-06-12 23:40:31.000000000 +0200 -+++ doc/src/sgml/Makefile 2010-09-19 22:07:11.210759927 +0200 -@@ -15,14 +15,14 @@ - - # Make "html" the default target, since that is what most people tend - # to want to use. --html: -+man: - - subdir = doc/src/sgml - top_builddir = ../../.. - include $(top_builddir)/src/Makefile.global - - --all: html man -+all: man - - distprep: html distprep-man - -@@ -285,7 +285,7 @@ - ## Install - ## - --install: install-html -+##install: install-html - - ifneq ($(PORTNAME), sco) - install: install-man |