[Add pointers to HTML versions of documents.
malcolm**20020316123551] {
hunk ./docs/index.html 227
+      <a href="tutorial1.html">(HTML)</a>
hunk ./docs/index.html 234
+      <a href="hatuser.html">(HTML)</a>
}