0fffd0a807
The PostgreSQL Global Development Group announces today that the third beta release of PostgreSQL 10 is available for download. This release contains previews of all of the features which will be available in the final release of version 10, including fixes to many of the issues found in the second beta. Users are encouraged to begin testing their applications against 10 beta3. URL: https://www.postgresql.org/about/news/1771/
42 lines
1,015 B
Text
42 lines
1,015 B
Text
--- doc/src/sgml/Makefile.orig 2017-08-07 23:08:19.000000000 +0200
|
|
+++ doc/src/sgml/Makefile 2017-08-08 14:07:11.461380000 +0200
|
|
@@ -15,7 +15,7 @@
|
|
|
|
# Make "html" the default target, since that is what most people tend
|
|
# to want to use.
|
|
-html:
|
|
+man:
|
|
|
|
NO_TEMP_INSTALL=yes
|
|
|
|
@@ -24,7 +24,7 @@
|
|
include $(top_builddir)/src/Makefile.global
|
|
|
|
|
|
-all: html man
|
|
+all: man
|
|
|
|
distprep: html distprep-man
|
|
|
|
@@ -76,8 +76,6 @@
|
|
## Man pages
|
|
##
|
|
|
|
-man distprep-man: man-stamp
|
|
-
|
|
man-stamp: stylesheet-man.xsl postgres.xml
|
|
$(XMLLINT) --noout --valid postgres.xml
|
|
$(XSLTPROC) $(XSLTPROCFLAGS) $(XSLTPROC_MAN_FLAGS) $^
|
|
@@ -245,10 +243,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:
|