fix creation of the index file

doc/index.html

@@ -9,7 +9,18 @@
         const data = await response.json();
         let htmlString = '<ul>';
         for (let file of data) {
-          htmlString += `<li><a href="${file.path}">${file.name}</a></li>`;
+          // do not create an index for html or css files
+          if(file.name.endsWith('.html') || file.name.endsWith('.css') ){
+            continue
+          }
+          htmlString += `<li>`
+          htmlString += `<a href="${file.name}">${file.name}</a>`
+          // create direct links to jdoc and options
+          htmlString += `<ul>`
+          htmlString += `<li><a href="${file.name}/options/soot_options.html">Soot Options</a></li>`;
+          htmlString += `<li><a href="${file.name}/jdoc/index.html">JavaDoc</a></li>`;
+          htmlString += `</ul>`
+          htmlString += `</li>`
         }
         htmlString += '</ul>';
         document.getElementsByTagName('body')[0].innerHTML = htmlString;