diff options
author | Rene Ladan <rene@FreeBSD.org> | 2025-01-01 13:08:02 +0100 |
---|---|---|
committer | Rene Ladan <rene@FreeBSD.org> | 2025-01-01 13:08:02 +0100 |
commit | 336f72ee03cc999303a0ac1e2fa94602fac0917b (patch) | |
tree | 1f849537a96a1f0eb2a5af3e5a8bb31be4b16aaf /databases/postgresql12-server/files/patch-doc-src-sgml-Makefile | |
parent | databases/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-Makefile | 41 |
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: |