+ # this is stupid and I shouldn't have bothered trying
+ # to support the 2.12 docs and it will be deleted once
+ # 2.14 is out and the website won't be visible to users
+ # until 2.14 is out. -gp
+ if (url.endswith('.html')):
+ newurl = url
+ else:
+ newurl = url + '/index.html'
+ make_ver_link("manual"+name+mshort+'SplitNoName',
+ version,
+ newurl,
+ manual.capitalize())