diff options
| author | Peter Eisentraut | 2013-09-11 18:34:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2013-10-11 00:11:56 +0000 |
| commit | 5dd41f3574871757e6b8e2a16b3e736fee36c20d (patch) | |
| tree | 38a6c713a239c3818287f3eb5275c3d0b2779a55 /doc/Makefile | |
| parent | 3dc543b3d84f048ca563af1bc98092f1e01e4a81 (diff) | |
Remove maintainer-check target, fold into normal build
make maintainer-check was obscure and rarely called in practice, and
many breakages were missed. Fold everything that make maintainer-check
used to do into the normal build. Specifically:
- Call duplicate_oids when genbki.pl is called.
- Check for tabs in SGML files when the documentation is built.
- Run msgfmt with the -c option during the regular build. Add an
additional configure check to see whether we are using the GNU
version. (make maintainer-check probably used to fail with non-GNU
msgfmt.)
Keep maintainer-check as around as phony target for the time being in
case anyone is calling it. But it won't do anything anymore.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 2e5e09ef88..aee3cc0965 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -12,5 +12,5 @@ subdir = doc 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 src $@ |