File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed
Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 77.. |DOMjudge| replace:: DOMjudge
88
99.. |baseurlteam| replace:: https://example.com/domjudge/team
10+ .. |problemseturlteam| replace:: https://example.com/domjudge/team/problems
1011
1112.. |SOURCESIZE| replace:: 256
1213.. |COMPILETIME| replace:: 30
Original file line number Diff line number Diff line change 11# @configure_input@
22
3+ baseurl_separator = '/' if '@BASEURL@'[-1]!='/' else ''
4+
35rst_prolog = """
46.. |DOMjudge| replace:: @PACKAGE_NAME@
57
68.. |phpversion| replace:: @PHPVERSION@
79.. |baseurlteam| replace:: @BASEURL@%steam
10+ .. |problemseturlteam| replace:: @BASEURL@%steam/problems
811
912.. |SOURCESIZE| replace:: 256
1013.. |COMPILETIME| replace:: 30
1114.. |PROCLIMIT| replace:: 64
1215
13- """ % ('/' if '@BASEURL@'[-1]!='/' else '' )
16+ """ % (baseurl_separator, baseurl_separator )
You can’t perform that action at this time.
0 commit comments