diff --git a/html-src/gen-html.py b/html-src/gen-html.py index 44a95311..bb009eb7 100755 --- a/html-src/gen-html.py +++ b/html-src/gen-html.py @@ -82,7 +82,7 @@ alink="#FF0000"> main_footer = '''
-%s +%(back_to_index_link)s