| msg138050 - (view) |
Author: Eric Snow (eric.snow) *  |
Date: 2011-06-10 05:50 |
| The formatting for the title of the "Index by Category" section is different from the formatting for the title of the "Numerical Index" section. Not sure if there is a reason behind this, but here's a patch: diff --git a/pep0/output.py b/pep0/output.py --- a/pep0/output.py +++ b/pep0/output.py @@ -169,7 +169,7 @@ print>>output, unicode(pep) print>>output print>>output - print>>output, u" Numerical Index" + print>>output, u"Numerical Index" print>>output write_column_headers(output) prev_pep = 0 |
|
|
| msg138199 - (view) |
Author: Éric Araujo (eric.araujo) * |
Date: 2011-06-12 09:02 |
| On python.org/dev/peps, I don’t see the extra space that your patch removes. |
|
|
| msg138812 - (view) |
Author: Eric Snow (eric.snow) * |
Date: 2011-06-22 00:49 |
| Yeah, the extra space results in a different formatting. Compare "Index by Category" with "Numerical Index". |
|
|
| msg148343 - (view) |
Author: Eric Snow (eric.snow) * |
Date: 2011-11-25 17:38 |
| Éric has addressed this in http://hg.python.org/peps/rev/6c7415a4f0f3 (thanks Éric). Do the docs for python.org have to be manually rebuilt or is that on a cron? |
|
|
| msg148402 - (view) |
Author: Éric Araujo (eric.araujo) * |
Date: 2011-11-26 13:35 |
| I read this report again a few days ago and saw you were right, so I fixed it. Thanks! (The peps repo is not hooked up to close bugs, because we don’t usually use the bug tracker to discuss PEPs (we use mailing lists). The PEPs pages (not docs! :) on python.org are built automatically (doing otherwise would be a shame for programmers in 2010!)) |
|
|
| msg148431 - (view) |
Author: Eric Snow (eric.snow) * |
Date: 2011-11-27 00:16 |
| Thanks, Éric. That's what I figured. I asked because the PEPs page doesn't appear to reflect the change: http://www.python.org/dev/peps/ I checked to be sure it fixed it before I submitted the patch. That's why I asked about auto-rebuilding. |
|
|
| msg148482 - (view) |
Author: Éric Araujo (eric.araujo) * |
Date: 2011-11-28 14:08 |
| 1b7fed04108c should help make figure out that it needs to rebuild. |
|
|
| msg148483 - (view) |
Author: Éric Araujo (eric.araujo) * |
Date: 2011-11-28 14:27 |
| Rebuilt! (Another glitch: plain text PEPs really should have an HTML title. If you have time.. :) |
|
|
| msg148506 - (view) |
Author: Eric Snow (eric.snow) * |
Date: 2011-11-28 18:07 |
| Thanks, Éric. That looks good. I'll keep that HTML title thing in mind. :) |
|
|
| msg148723 - (view) |
Author: Éric Araujo (eric.araujo) * |
Date: 2011-12-01 14:11 |
| Plain text PEPs actually have an HTML title, it’s only PEP 0 that does not. I’ll fix that when I get a minute. |
|
|