Extra slash appended on all documentation links

[Julien Phalip]

All links in the documentation contains an extra slash. For example:

http://docs.djangoproject.com/en/dev//intro/tutorial01/#intro-tutorial01
                                     ^
                       there ________|

This also breaks my bookmarks, as the following won't work any more: ​http://docs.djangoproject.com/en/dev/

The following works, however: ​http://docs.djangoproject.com/en/dev//

I suppose this problem has to do with r9097.

[Carl Meyer]

#9250 was a duplicate.

[dc]

Duplicate of #9246