diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2018-08-06 17:27:13 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-08-14 21:39:48 +0000 |
| commit | a5ac91c2565ee2fd588c0dbcb48694d12340a3fc (patch) | |
| tree | 242dc9b4059d63bbaf5232eb39c55da3f7884949 /util/docker | |
| parent | cac468c8343df3ee1c5541aaf276248d221fa985 (diff) | |
docker/coreboot.org-status: provide html/head/body frame
This allows us to add encoding information.
Change-Id: Ic9a12a13f11fd22eeec96fbcca6b706312876b07
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/27874
Reviewed-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Martin Roth <martinroth@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/docker')
| -rwxr-xr-x | util/docker/coreboot.org-status/board-status.html/tohtml.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/util/docker/coreboot.org-status/board-status.html/tohtml.sh b/util/docker/coreboot.org-status/board-status.html/tohtml.sh index b1a7ccdc9a..f786c33109 100755 --- a/util/docker/coreboot.org-status/board-status.html/tohtml.sh +++ b/util/docker/coreboot.org-status/board-status.html/tohtml.sh @@ -3,6 +3,16 @@ export COREBOOT_DIR="../coreboot.git" export GIT_DIR="$COREBOOT_DIR/.git" CODE_GITWEB="https://review.coreboot.org/gitweb/cgit/coreboot.git/commit/?id=" STATUS_GITWEB="https://review.coreboot.org/gitweb/cgit/board-status.git/tree/" + +cat <<EOF +<html> +<head> + <meta charset="utf-8"> + <title>status report for coreboot boards</title> +</head> +<body> +EOF + if [ -f `dirname $0`/foreword.html ]; then cat `dirname $0`/foreword.html fi @@ -519,3 +529,7 @@ EOF echo "$detailed" +cat <<EOF +</body> +</html> +EOF |