--- 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: