postgresql/doc/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 $@
Allow installation of documentation packages. 1998-03-02 04:37:44 +08:00			`#----------------------------------------------------------------------------`
			`#`
Ship documentation without intermediate tarballs Documentation files in HTML and man formats are now prepared for distribution using the distprep make target, like everything else. They are placed in doc/src/sgml/html and manX and installed from there by make install, if present. The business with the tarballs in the tarball is gone. 2009-08-10 06:47:59 +08:00			`# PostgreSQL documentation top-level makefile`
Allow installation of documentation packages. 1998-03-02 04:37:44 +08:00			`#`
			`# Copyright (c) 1994, Regents of the University of California`
			`#`
Remove cvs keywords from all files. 2010-09-21 04:08:53 +08:00			`# doc/Makefile`
Allow installation of documentation packages. 1998-03-02 04:37:44 +08:00			`#`
			`#----------------------------------------------------------------------------`

End users shouldn't have to invoke a separate command to install the documentation. Therefore it's now installed by default. If there is no documentation to be found (i.e., you are not using the distribution) then this step is skipped. Add --docdir option to configure to control installation directory. 2000-07-18 06:31:59 +08:00			`subdir = doc`
			`top_builddir = ..`
			`include $(top_builddir)/src/Makefile.global`
Allow installation of documentation packages. 1998-03-02 04:37:44 +08:00
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. 2013-09-12 02:34:28 +08:00			`all distprep html man install installdirs uninstall clean distclean maintainer-clean:`
Clean documentation subtree during make clean. 2002-07-28 23:19:59 +08:00			`$(MAKE) -C src $@`