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/ --- databases/postgresql13-server/files/patch-doc-Makefile | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 databases/postgresql13-server/files/patch-doc-Makefile (limited to 'databases/postgresql13-server/files/patch-doc-Makefile') diff --git a/databases/postgresql13-server/files/patch-doc-Makefile b/databases/postgresql13-server/files/patch-doc-Makefile new file mode 100644 index 000000000000..d5176bfb64b5 --- /dev/null +++ b/databases/postgresql13-server/files/patch-doc-Makefile @@ -0,0 +1,9 @@ +--- doc/Makefile.orig 2015-10-08 21:45:57.360084007 +0200 ++++ doc/Makefile 2015-10-08 21:46:04.353084097 +0200 +@@ -12,5 +12,5 @@ + top_builddir = .. + include $(top_builddir)/src/Makefile.global + +-all distprep html man install installdirs uninstall clean distclean maintainer-clean: ++all distprep man install installdirs uninstall clean distclean maintainer-clean: + $(MAKE) -C src $@ -- cgit v1.2.3