1--- doc/src/sgml/Makefile.orig	2018-10-15 23:12:02.000000000 +0200
2+++ doc/src/sgml/Makefile	2018-10-18 22:34:13.656029000 +0200
3@@ -15,7 +15,7 @@
4
5 # Make "html" the default target, since that is what most people tend
6 # to want to use.
7-html:
8+man:
9
10 # We don't need the tree-wide headers or install support here.
11 NO_GENERATED_HEADERS=yes
12@@ -26,7 +26,7 @@
13 include $(top_builddir)/src/Makefile.global
14
15
16-all: html man
17+all: man
18
19 distprep: html distprep-man
20
21@@ -62,7 +62,6 @@
22 ## Man pages
23 ##
24
25-man distprep-man: man-stamp
26
27 man-stamp: stylesheet-man.xsl postgres.sgml $(ALLSGML)
28 	$(XMLLINT) $(XMLINCLUDE) --noout --valid $(word 2,$^)
29@@ -212,10 +211,10 @@
30 ## Install
31 ##
32
33-install: install-html install-man
34+install: install-man
35
36 installdirs:
37-	$(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
38+	$(MKDIR_P) $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
39
40 # If the install used a man directory shared with other applications, this will remove all files.
41 uninstall:
42