[issue12307] Inconsistent formatting of section titles in PEP 0

Éric Araujo added the comment: 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. -- ___ Python tracker ___ ___

[issue12307] Inconsistent formatting of section titles in PEP 0

Eric Snow added the comment: Thanks, Éric. That looks good. I'll keep that HTML title thing in mind. :) -- ___ Python tracker ___

[issue12307] Inconsistent formatting of section titles in PEP 0

Éric Araujo added the comment: Rebuilt! (Another glitch: plain text PEPs really should have an HTML title. If you have time.. :) -- ___ Python tracker ___ ___

[issue12307] Inconsistent formatting of section titles in PEP 0

Éric Araujo added the comment: 1b7fed04108c should help make figure out that it needs to rebuild. -- ___ Python tracker ___ ___ Pytho

[issue12307] Inconsistent formatting of section titles in PEP 0

Eric Snow added the comment: 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. -- _

[issue12307] Inconsistent formatting of section titles in PEP 0

Éric Araujo added the comment: 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.o

[issue12307] Inconsistent formatting of section titles in PEP 0

Eric Snow added the comment: É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? -- ___ Python tracker

[issue12307] Inconsistent formatting of section titles in PEP 0

Eric Snow added the comment: Yeah, the extra space results in a different formatting. Compare "Index by Category" with "Numerical Index". -- ___ Python tracker ___ ___

[issue12307] Inconsistent formatting of section titles in PEP 0

Éric Araujo added the comment: On python.org/dev/peps, I don’t see the extra space that your patch removes. -- nosy: +eric.araujo versions: +3rd party -Python 3.3 ___ Python tracker ___

[issue12307] Inconsistent formatting of section titles in PEP 0

New submission from Eric Snow : 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/pe