| commit | 095f8173300cad988eea0a6ea16f4673b2cc8e95 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Fri Jun 27 18:26:01 2003 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Fri Jun 27 18:26:01 2003 +0000 |
| tree | bfe697f501e47bdc23a5045e37dea6cfd57ad7c9 | |
| parent | 6496788e7a287aedfaa61c0a87feeaeb2fbb06a6 [diff] |
Don't assume the name of the table of contents will be contents.html; that won't be right when mkhowto is called with --numeric (as it is for the Python Tutorial). Save the actual name we use when we build the table of contents, then use that in the page head metadata. The node2label.pl script will munge this properly when --numeric isn't given, so this works in both cases. Closes SF bug #761830.