diff options
author | Fred Drake <fdrake@acm.org> | 2001-03-02 16:26:45 (GMT) |
---|---|---|
committer | Fred Drake <fdrake@acm.org> | 2001-03-02 16:26:45 (GMT) |
commit | cfef0096f993c929c2e7f4814b43b273db97bd9c (patch) | |
tree | cdca0de2173f851f7e6806b9e99c6986dbf0af3c /Doc/dist/dist.tex | |
parent | e3955a8ce27ec8a1d74340d41bc8701723646efe (diff) | |
download | cpython-cfef0096f993c929c2e7f4814b43b273db97bd9c.zip cpython-cfef0096f993c929c2e7f4814b43b273db97bd9c.tar.gz cpython-cfef0096f993c929c2e7f4814b43b273db97bd9c.tar.bz2 |
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.
Diffstat (limited to 'Doc/dist/dist.tex')
0 files changed, 0 insertions, 0 deletions