%%TITLE%%

This manual (%%PACKAGE%%) is available in the following formats:

• HTML (%%HTML_MONO_SIZE%%K bytes) - entirely on one web page.
• HTML - with one web page per 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.
• HTML compressed (%%HTML_NODE_TGZ_SIZE%%K gzipped tar file) - with one web page per 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).

(This page generated by the %%SCRIPTNAME%% script.)