%%TITLE%%

last updated %%DATE%%

• HTML (%%HTML_MONO_SIZE%%K bytes) - entirely on one web page.
%%IF HTML_NODE%%
• HTML - with one web page per node.
%%ENDIF HTML_NODE%% %%IF HTML_SECTION%%
• HTML - with one web page per section.
%%ENDIF HTML_SECTION%% %%IF HTML_CHAPTER%%
• HTML - with one web page per chapter.
%%ENDIF HTML_CHAPTER%%
• HTML compressed (%%HTML_MONO_GZ_SIZE%%K gzipped characters) - entirely on one web page.
%%IF HTML_NODE%%
• HTML compressed (%%HTML_NODE_TGZ_SIZE%%K gzipped tar file) - with one web page per node.
%%ENDIF HTML_NODE%% %%IF HTML_SECTION%%
• HTML compressed (%%HTML_SECTION_TGZ_SIZE%%K gzipped tar file) - with one web page per section.
%%ENDIF HTML_SECTION%% %%IF HTML_CHAPTER%%
• HTML compressed (%%HTML_CHAPTER_TGZ_SIZE%%K gzipped tar file) - with one web page per chapter.
%%ENDIF HTML_CHAPTER%%
• Info document (%%INFO_TGZ_SIZE%%K bytes gzipped tar file).
• ASCII text (%%ASCII_SIZE%%K bytes).
• ASCII text compressed (%%ASCII_GZ_SIZE%%K bytes gzipped).
• TeX dvi file (%%DVI_GZ_SIZE%%K bytes gzipped).
• PDF file (%%PDF_SIZE%%K bytes).
• Texinfo source (%%TEXI_TGZ_SIZE%%K bytes gzipped tar file).