[Qa-jenkins-scm] [jenkins.debian.net] 02/05: reproducible: html_indexes: add support for a tiny header on top of the pages

[Holger Levsen]

This is an automated email from the git hooks/post-receive script.

holger pushed a commit to branch master
in repository jenkins.debian.net.

commit 50fc876d44f497d842cab8e01c25673f1bbc17dc
Author: Mattia Rizzolo <mattia at mapreri.org>
Date:   Mon Apr 13 01:55:53 2015 +0200

    reproducible: html_indexes: add support for a tiny header on top of the pages
---
 bin/reproducible_html_indexes.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bin/reproducible_html_indexes.py b/bin/reproducible_html_indexes.py
index 5604639..6719588 100755
--- a/bin/reproducible_html_indexes.py
+++ b/bin/reproducible_html_indexes.py
@@ -19,6 +19,7 @@ Reference doc for the folowing lists:
 * pages is just a list of pages. It is actually a dictionary, where every
   element is a page. Every page has:
   + `title`: The page title
+  + `header`: (optional) sane html to be printed on top of the page
   + `body`: a list of dicts containing every section that made up the page.
     Every section has:
     - `icon_status`: the name of a icon (see join_status_icon())
@@ -334,6 +335,8 @@ def build_page(page, suite=None, arch=None):
         title = pages[page]['title'].format(suite=suite, arch=arch)
     html = ''
     footnote = False
+    if pages[page].get('header'):
+        html += pages[page].get('header')
     for section in page_sections:
         if not suite:  # global page
             for lsuite in SUITES:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/qa/jenkins.debian.net.git