Add this commit to discuss if we like this more

Author: vmcj

doc/manual/substitutions.py.in

@@ -13,4 +13,4 @@ rst_prolog = """
 .. |COMPILETIME| replace:: 30
 .. |PROCLIMIT| replace:: 64
 
-""" % (baseurl_separator, baseurl_separator)
+""" % tuple(['/' if '@BASEURL@'[-1]!='/' else '']*2)