mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-27 02:17:19 +02:00
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.
17 lines
469 B
Makefile
17 lines
469 B
Makefile
#----------------------------------------------------------------------------
|
|
#
|
|
# PostgreSQL documentation top-level makefile
|
|
#
|
|
# Copyright (c) 1994, Regents of the University of California
|
|
#
|
|
# doc/Makefile
|
|
#
|
|
#----------------------------------------------------------------------------
|
|
|
|
subdir = doc
|
|
top_builddir = ..
|
|
include $(top_builddir)/src/Makefile.global
|
|
|
|
all distprep html man install installdirs uninstall clean distclean maintainer-clean:
|
|
$(MAKE) -C src $@
|