From aa1ed0e82cb937b6b71eae980dcc2554d675facb Mon Sep 17 00:00:00 2001 From: Palle Girgensohn Date: Thu, 24 Sep 2020 13:33:10 +0000 Subject: Welcome PostgreSQL 13 Release notes: https://www.postgresql.org/about/news/2077/ --- .../files/patch-doc-src-sgml-Makefile | 41 ++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 databases/postgresql13-server/files/patch-doc-src-sgml-Makefile (limited to 'databases/postgresql13-server/files/patch-doc-src-sgml-Makefile') diff --git a/databases/postgresql13-server/files/patch-doc-src-sgml-Makefile b/databases/postgresql13-server/files/patch-doc-src-sgml-Makefile new file mode 100644 index 000000000000..36f5d2a8224c --- /dev/null +++ b/databases/postgresql13-server/files/patch-doc-src-sgml-Makefile @@ -0,0 +1,41 @@ +--- 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: -- cgit v1.2.3