diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/Makefile | 2 | ||||
| -rw-r--r-- | doc/src/sgml/Makefile | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile index b0d4f1f5063..30d883815aa 100644 --- a/doc/src/Makefile +++ b/doc/src/Makefile @@ -4,5 +4,5 @@ subdir = doc/src top_builddir = ../.. include $(top_builddir)/src/Makefile.global -all distprep html man install installdirs uninstall clean distclean maintainer-clean maintainer-check: +all distprep html man install installdirs uninstall clean distclean maintainer-clean: $(MAKE) -C sgml $@ diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index aeade13dff3..50d9203bbe2 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -22,9 +22,9 @@ top_builddir = ../../.. include $(top_builddir)/src/Makefile.global -all: html man +all: check-tabs html man -distprep: html distprep-man +distprep: check-tabs html distprep-man ifndef JADE @@ -301,7 +301,7 @@ MAKEINFO = makeinfo ## # Quick syntax check without style processing -check maintainer-check: postgres.sgml $(ALMOSTALLSGML) check-tabs +check: postgres.sgml $(ALMOSTALLSGML) check-tabs $(NSGMLS) $(SPFLAGS) $(SGMLINCLUDE) -s $< |