diff options
Diffstat (limited to 'bin/reproducible_common.py')
| -rwxr-xr-x | bin/reproducible_common.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index dd67f467..92813e06 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -310,7 +310,7 @@ def create_main_navigation(suite=defaultsuite, arch=defaultarch, def write_html_page(title, body, destfile, no_header=False, style_note=False, noendpage=False, refresh_every=None, displayed_page=None, - left_nav_html=None): + left_nav_html=None, include_pkgset_js=None): meta_refresh_html = '<meta http-equiv="refresh" content="%d"></meta>' % \ refresh_every if refresh_every is not None else '' if style_note: @@ -325,6 +325,7 @@ def write_html_page(title, body, destfile, no_header=False, style_note=False, 'main_header': title if not no_header else "", 'main_html': body, 'style_dot_css_sha1sum': REPRODUCIBLE_STYLE_SHA1, + 'include_pkgset_js': include_pkgset_js, } html = renderer.render(basic_page_template, context) |