html_file.write("#attr $Copyright = 2003\n")
if start:
html_file.write("#attr $Start = \"index.html\"\n")
+ html_file.write("#attr $First = \"profile.html\"\n")
if prev:
html_file.write("#attr $Prev = \"%s.html\"\n" % prev)
if next:
html_file.write("#attr $Next = \"%s.html\"\n" % next)
+ html_file.write("#attr $Last = \"pdbrc.py.html\"\n")
html_file.write('#attr $alternates = (("Plain text version", "text/plain", "%s"),)' % txt_name)
html_file.write("\n")
html_file.write("#def body_html\n")