From 563a1c60390ff0087f1513d12ef2d1929657a058 Mon Sep 17 00:00:00 2001
From: Andreas Dann <adann@mail.uni-paderborn.de>
Date: Tue, 28 Dec 2021 12:48:09 +0100
Subject: [PATCH] add header

---
 doc/index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/index.html b/doc/index.html
index 49ec2ee2741..a216e120e6e 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -7,7 +7,8 @@
       (async () => {
         const response = await fetch('https://api.github.com/repos/soot-oss/soot/contents/docs?ref=gh-pages');
         const data = await response.json();
-        let htmlString = '<ul>';
+        let htmlString = '<h1>Soot Documentation</h1>';
+        htmlString += '<ul>'
         for (let file of data) {
           // do not create an index for html or css files
           if(file.name.endsWith('.html') || file.name.endsWith('.css') ){