MySQL Guide to MySQL Documentation :: 2 Building Documentation Formats :: 2.2 How Different Formats are Built :: 2.2.2 How HTML Packages are Produced
Section Navigation [Toggle]
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.
