5b11f47f0d
Introduce PostgreSQL-15 to the ports tree. Make version 15 the master port, and add plist parameter for the postgresql version. Release notes: https://www.postgresql.org/docs/devel/release.html
41 lines
1 KiB
Text
41 lines
1 KiB
Text
--- 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:
|