homepage

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

On python.org/dev/peps, I don’t see the extra space that your patch removes.

Yeah, the extra space results in a different formatting. Compare "Index by Category" with "Numerical Index".

É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?

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!))

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.

1b7fed04108c should help make figure out that it needs to rebuild.

Rebuilt! (Another glitch: plain text PEPs really should have an HTML title. If you have time.. :)

Thanks, Éric. That looks good. I'll keep that HTML title thing in mind. :)

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.