add header

Rroscha · Dec 29, 2021 · 563a1c6 · 563a1c6
1 parent 75d37fd
commit 563a1c6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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') ){