David Steele 5d3c8e47f1 Pre-build containers for any execute elements marked pre. ... This allows the documentation to be built more quickly and offline during development when --pre is specified on the command line. Each host gets a pre-built container with all the execute elements marked pre. As long as the pre elements do not change the container will not need to be rebuilt. The feature should not be used for CI builds as it may hide errors in the documentation.		2018-11-29 14:45:15 -05:00
..
dtd	Pre-build containers for any execute elements marked pre.	2018-11-29 14:45:15 -05:00
coding.xml	Storage object improvements.	2018-04-03 12:25:21 -04:00
index.xml	Update introduction to be pithy.	2018-09-19 18:26:12 -04:00
reference.xml	Add checksum delta for incremental backups.	2018-09-19 11:12:45 -04:00
release.xml	Pre-build containers for any execute elements marked pre.	2018-11-29 14:45:15 -05:00
test.xml	Rename db-* options to pg-* and backup-* options to repo-* to improve consistency.	2018-02-03 18:27:38 -05:00
user-guide.xml	Pre-build containers for any execute elements marked pre.	2018-11-29 14:45:15 -05:00