summaryrefslogtreecommitdiff
path: root/databases/postgresql12-server/files/patch-doc-src-sgml-Makefile
diff options
context:
space:
mode:
authorRene Ladan <rene@FreeBSD.org>2025-01-01 13:08:02 +0100
committerRene Ladan <rene@FreeBSD.org>2025-01-01 13:08:02 +0100
commit336f72ee03cc999303a0ac1e2fa94602fac0917b (patch)
tree1f849537a96a1f0eb2a5af3e5a8bb31be4b16aaf /databases/postgresql12-server/files/patch-doc-src-sgml-Makefile
parentdatabases/postgresql12-pgtcl: Remove expired port, PostgreSQL-12 is end-of-life (diff)
databases/postgresql12-server: Remove expired port
2024-12-31 databases/postgresql12-server: PostgreSQL-12 is end-of-life
Diffstat (limited to 'databases/postgresql12-server/files/patch-doc-src-sgml-Makefile')
-rw-r--r--databases/postgresql12-server/files/patch-doc-src-sgml-Makefile41
1 files changed, 0 insertions, 41 deletions
diff --git a/databases/postgresql12-server/files/patch-doc-src-sgml-Makefile b/databases/postgresql12-server/files/patch-doc-src-sgml-Makefile
deleted file mode 100644
index 36f5d2a8224c..000000000000
--- a/databases/postgresql12-server/files/patch-doc-src-sgml-Makefile
+++ /dev/null
@@ -1,41 +0,0 @@
---- doc/src/sgml/Makefile.orig 2018-10-15 23:12:02.000000000 +0200
-+++ doc/src/sgml/Makefile 2018-10-18 22:34:13.656029000 +0200
-@@ -15,7 +15,7 @@
-
- # Make "html" the default target, since that is what most people tend
- # to want to use.
--html:
-+man:
-
- # We don't need the tree-wide headers or install support here.
- NO_GENERATED_HEADERS=yes
-@@ -26,7 +26,7 @@
- include $(top_builddir)/src/Makefile.global
-
-
--all: html man
-+all: man
-
- distprep: html distprep-man
-
-@@ -62,7 +62,6 @@
- ## Man pages
- ##
-
--man distprep-man: man-stamp
-
- man-stamp: stylesheet-man.xsl postgres.sgml $(ALLSGML)
- $(XMLLINT) $(XMLINCLUDE) --noout --valid $(word 2,$^)
-@@ -212,10 +211,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: