<html>
  <head><title>Documentation Generated</title>
  <link rel="stylesheet" Type="text/css" href="stylesheet.css" title="Style">
  </head>
  <body>
    <h2>Documentation Generated</h2>
    The following files have been written in directory <code>@doc_root@</code>.
    <ul>
      <list name="file_list">
	<li><code>@file_list:item@</code></li>
      </list>
    </ul>
    <hr>
  </body>
</html>
