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
..
doc.dtd	Pre-build containers for any execute elements marked pre.	2018-11-29 14:45:15 -05:00
manifest.dtd	Doc engine improvements.	2016-11-07 17:06:35 +02:00