diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-07-09 10:24:19 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-07-09 12:26:12 +0200 |
| commit | 922c68aeba37f40b9de08ffe30d613d3130b6aee (patch) | |
| tree | 6b9160c23de0e9f39cffc70f3a3beebf55ffd702 | |
| parent | 53d085060bb5021e1c30f315bf831ff8c534e793 (diff) | |
| download | jenkins.debian.net-922c68aeba37f40b9de08ffe30d613d3130b6aee.tar.xz | |
reproducible: dd-list: show the symbol caption at the footpage + print the just created url on the job log
| -rwxr-xr-x | bin/reproducible_html_dd_list.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_html_dd_list.py b/bin/reproducible_html_dd_list.py index 72b347f4..873bb3da 100755 --- a/bin/reproducible_html_dd_list.py +++ b/bin/reproducible_html_dd_list.py @@ -67,4 +67,5 @@ for suite in SUITES: html += '</pre></p>' title = 'Maintainers of unreproducible packages in ' + suite destfile = BASE + '/' + suite + '/index_dd-list.html' - write_html_page(title, html, destfile, suite, arch) + write_html_page(title, html, destfile, suite, arch, style_note=True) + log.info('%s/%s/index_dd-list.html published', REPRODUCIBLE_URL, suite) |