<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">

<head>
<title>%%TITLE%%</title>
<meta http-equiv="content-type" content='text/html; charset=utf-8' />
</head>

<body>

<h3>%%TITLE%%</h3>

<address>last updated %%DATE%%</address>
<p>
</p>
<hr />

<p>This manual (%%PACKAGE%%) is available in the following formats:</p>

<ul>
  <li><a href="%%PACKAGE%%.html">HTML 
      (%%HTML_MONO_SIZE%%K characters)</a> - entirely on one web page.</li>
  <li><a href="html_node/index.html">HTML</a> - with one web page per
      node.</li>
  <li><a href="%%PACKAGE%%.html.gz">HTML compressed
      (%%HTML_MONO_GZ_SIZE%%K gzipped characters)</a> - entirely on 
      one web page.</li>
  <li><a href="%%PACKAGE%%.html_node.tar.gz">HTML compressed
      (%%HTML_NODE_TGZ_SIZE%%K gzipped tar file)</a> -
      with one web page per node.</li>
  <li><a href="%%PACKAGE%%.info.tar.gz">Info document
      (%%INFO_TGZ_SIZE%%K characters gzipped tar file)</a>.</li>
  <li><a href="%%PACKAGE%%.txt">ASCII text
      (%%ASCII_SIZE%%K characters)</a>.</li>
  <li><a href="%%PACKAGE%%.txt.gz">ASCII text compressed
      (%%ASCII_GZ_SIZE%%K gzipped characters)</a>.</li>
  <li><a href="%%PACKAGE%%.dvi.gz">TeX dvi file
      (%%DVI_GZ_SIZE%%K characters gzipped)</a>.</li>
  <li><a href="%%PACKAGE%%.ps.gz">PostScript file
      (%%PS_GZ_SIZE%%K characters gzipped)</a>.</li>
  <li><a href="%%PACKAGE%%.pdf">PDF file
      (%%PDF_SIZE%%K characters)</a>.</li>
  <li><a href="%%PACKAGE%%.texi.tar.gz">Texinfo source
      (%%TEXI_TGZ_SIZE%%K characters gzipped tar file)</a></li>
</ul>

<p>(This page generated by the <a href="%%SCRIPTURL%%">%%SCRIPTNAME%%
script</a>.)</p>
</div>

</body>
</html>

