diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-22 10:10:03 +0000 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-22 11:06:54 +0000 |
| commit | d5a0b24e1efa78a89cfdbacd0544182d35c29d1d (patch) | |
| tree | d2dc8c80c73699dafb70aca51932afd1291028e4 /bin | |
| parent | e7d74461fd32f2da2396dd4c31c8bd81f5d3009a (diff) | |
| download | jenkins.debian.net-d5a0b24e1efa78a89cfdbacd0544182d35c29d1d.tar.xz | |
reproducible: html_packages: fix syntax
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_packages.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index a1e1e2fb..7fb61cd1 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -234,7 +234,7 @@ def gen_packages_html(packages, no_clean=False): '/' + arch + '/' + pkg + '.html' title = pkg + ' - reproducible build results' write_html_page(title=title, body=html, destfile=destfile, - noheader=True, noendpage=True, indexes=True) + noheader=True, noendpage=True, packages=True) log.debug("Package page generated at " + desturl) if not no_clean: purge_old_pages() # housekeep is always good |