The HTML packages such as the
zip and RPM files are produced by taking
the HTML generated output from the
html-section target and packaging them for
html-section and other
formats also automatically copy the CSS and any images required
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.