From 4ef8dc7a75a9a408b34338854dd0d412ea01c504 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Tue, 14 Jul 2009 22:16:38 +0000 Subject: Rearrangement of the HTML docs build rules Set up proper makefile dependencies in the documentation build rules, especially around the HTML/index build. The problem we've had with all previous solutions is that we have used the same file name, such as HTML.index or bookindex.sgml, to mean different things at different stages of the build, and make can't distinguish that. The solution here is that the first jade run produces HTML.index, but does not require bookindex.sgml at all, and produces no other html output (the latter an idea from Alvaro). The second jade run includes bookindex.sgml, but does not recreate HTML.index. That way, when you change an sgml file, jade is run twice and at the end all dependencies are satisfied. Omitting the html output in the first stage also makes the full build a lot faster. When you run one of the print format targets, only the first jade run is run, then the print target-specific commands. If an HTML build has completed previously, the first jade run is skipped because the dependencies have already been satisfied. The draft and check targets for quick builds and syntax verification are still there. --- doc/src/sgml/postgres.sgml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/src/sgml/postgres.sgml') diff --git a/doc/src/sgml/postgres.sgml b/doc/src/sgml/postgres.sgml index 19c76b8ec74..d4c4d40bbe2 100644 --- a/doc/src/sgml/postgres.sgml +++ b/doc/src/sgml/postgres.sgml @@ -1,4 +1,4 @@ - + &biblio; - &bookindex; + -- cgit v1.2.3