+ make_ver_link(macroLang("manual"+name+mshort+'Pdf',lang),
+ # TODO: this is an even stupider way of doing it
+ addLang(url+'.pdf', lang),
+ getTrans(manual.capitalize(),lang) + '.pdf')
+ make_ver_link(macroLang("manual"+name+mshort+'Split',lang),
+ addLang(url + '/index.html', lang),
+ getTrans(manual.capitalize(),lang) +
+ getTrans(' (split HTML)',lang))
+ make_ver_link(macroLang("manual"+name+mshort+'Big',lang),
+ addLang(url + '-big-page.html', lang),
+ getTrans(manual.capitalize(),lang) +
+ getTrans(' (big HTML)',lang))