Add simple http server allowing to browse an invocation-log directory

Being able to browse through past invocations of the build tool can
actually be useful and doing so in the browser is a way many users
prefer. Therefore, add a small WSGI application (written in python,
using werkzeug and jinja) serving a directory of invocation logs
via http.

1 files changed, 14 insertions, 0 deletions

diff --git a/doc/invocations-http-server/templates/tree.html b/doc/invocations-http-server/templates/tree.html
new file mode 100644
index 00000000..765be73e
--- /dev/null
+++ b/doc/invocations-http-server/templates/tree.html
@@ -0,0 +1,14 @@
+{% extends "base.html" %}
+{% block heading %}
+Tree {{ name | e }}
+{% endblock %}
+
+{% block content %}
+<h1>Tree {{ name | e }}</h1>
+
+<ul>
+  {% for entry in entries %}
+  <li><a href="/{{ entry["type"] | e}}/{{ entry["hash"] | e}}">{{ entry["path"] | e}}</a></li>
+  {% endfor %}
+</ul>
+{% endblock %}