diff --git a/Documentation/testsuite.py b/Documentation/testsuite.py index f6cf4741eca..39b29dcb0b1 100755 --- a/Documentation/testsuite.py +++ b/Documentation/testsuite.py @@ -166,7 +166,7 @@ def main(): if args.cgal_version: version_string=get_cgal_version(args.cgal_version) else: - version_string="Revision "+version_string + version_string="Revision-"+version_string title=d('#maintitle') title.text(title.text() + ' for ' + version_string) @@ -207,7 +207,7 @@ body {color: black; background-color: #C0C0D0; font-family: sans-serif;} d=pq(filename=publish_dir + 'index.html',parser="html") revs=d('#revisions tr') - new_row='