2.2.2 How HTML Packages are Produced

The HTML packages such as the tar.gz, zip and RPM files are produced by taking the HTML generated output from the html-section target and packaging them for download.

Conveniently the html-section and other formats also automatically copy the CSS and any images required by the document.

The same basic process is used for all the packaged HTML formats, including Zip, Tar/GZip and RPM builds. The same output files are used in each case, so that the build produces one set of files that are packaged up multiple times.