doc: Move check-tabs target into html target

The previous plan of having the check-tabs target a prerequisite of
"all" and "distprep" caused make distcheck to fail because make -q
distprep would never be satisfied.  Put check-tabs into the html target
instead, so it is only called when a build actually happens.

diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index a38a08545e09b958ca85aab0e21fc031daa4d7e5..0ca6f58c6a05aec56e88134643a8745e80478b10 100644 (file)
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -22,9 +22,9 @@ top_builddir = ../../..
 include $(top_builddir)/src/Makefile.global
 
 
-all: check-tabs html man
+all: html man
 
-distprep: check-tabs html distprep-man
+distprep: html distprep-man
 
 
 ifndef JADE
@@ -100,6 +100,7 @@ draft: postgres.sgml $(ALMOSTALLSGML) stylesheet.dsl
 html: html-stamp
 
 html-stamp: postgres.sgml $(ALLSGML) stylesheet.dsl
+       $(MAKE) check-tabs
        $(MKDIR_P) html
        $(JADE.html.call) -i include-index $<
        cp $(srcdir)/stylesheet.css html/