]> granicus.if.org Git - python/commit
Job.build_html(): When formatting HTML into more than one HTML page, and
authorFred Drake <fdrake@acm.org>
Fri, 2 Mar 2001 16:26:45 +0000 (16:26 +0000)
committerFred Drake <fdrake@acm.org>
Fri, 2 Mar 2001 16:26:45 +0000 (16:26 +0000)
commitcfef0096f993c929c2e7f4814b43b273db97bd9c
treecdca0de2173f851f7e6806b9e99c6986dbf0af3c
parente3955a8ce27ec8a1d74340d41bc8701723646efe
Job.build_html():  When formatting HTML into more than one HTML page, and
    not doing the \label{foo} --> foo.html transformation (--numeric was
    specified on the command line), still look to see if there is an
    "About this document..." node and copy that to "about.html", since the
    page footers use that as the target.
Doc/tools/mkhowto