Remove the URL from the page, simplifying the manual again

Author: vmcj

doc/manual/substitutions.py.in

@@ -1,16 +1,13 @@
 # @configure_input@
 
-baseurl_separator = '/' if '@BASEURL@'[-1]!='/' else ''
-
 rst_prolog = """
 .. |DOMjudge| replace:: @PACKAGE_NAME@
 
 .. |phpversion| replace:: @PHPVERSION@
 .. |baseurlteam| replace:: @BASEURL@%steam
-.. |problemseturlteam| replace:: @BASEURL@%steam/problems
 
 .. |SOURCESIZE| replace:: 256
 .. |COMPILETIME| replace:: 30
 .. |PROCLIMIT| replace:: 64
 
-""" % tuple(['/' if '@BASEURL@'[-1]!='/' else '']*2)
+""" % ('/' if '@BASEURL@'[-1]!='/' else '')