diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/Makefile | 2 | ||||
| -rw-r--r-- | doc/src/sgml/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile index 30d883815aa..b0d4f1f5063 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: +all distprep html man install installdirs uninstall clean distclean maintainer-clean maintainer-check: $(MAKE) -C sgml $@ diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index add2c282c6b..3041a530739 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -279,7 +279,7 @@ MAKEINFO = makeinfo ## # Quick syntax check without style processing -check: postgres.sgml $(ALMOSTALLSGML) check-tabs +check maintainer-check: postgres.sgml $(ALMOSTALLSGML) check-tabs $(NSGMLS) $(SPFLAGS) $(SGMLINCLUDE) -s $< |