Add OPAM index static page

.github/workflows/ci.yml

@@ -36,6 +36,7 @@ jobs:
           cp -r core-dev dest
           cp -r extra-dev dest
           cp -r released dest
+          cp -r www dest
           cp coq-packages.json dest
 
       - name: Upload Pages artifact

www/index.html

@@ -0,0 +1,63 @@
+<#def TITLE>Coq Package Index</#def>
+<#def HEAD>
+<link rel="stylesheet" type="text/css" href="/styles/barron/style.css"/>
+<link rel="stylesheet" type="text/css" href="/styles/package-index.css"/>
+</#def>
+<#include "incl/header.html">
+<div id="filters">
+
+  <div class="framework">
+  <div class="frameworklabel" style="color:black;font-weight:bold">
+    Active filters
+  </div>
+  <div class="frameworkcontent">
+  <input type="text" id="custom-filter" onkeyup="update_filter()" autofocus>
+  <div id="f-selected">
+  </div>
+  </div>
+  </div>
+
+  <div class="framework">
+  <div class="frameworklabel" style="color:black;font-weight:bold">
+    Available suites
+  </div>
+  <div class="frameworkcontent">
+  <div id="f-suites"> <!-- filled in by js --> </div>
+  </div>
+  </div>
+
+  <div class="framework">
+  <div class="frameworklabel" style="color:black;font-weight:bold">
+    Available categories
+  </div>
+  <div class="frameworkcontent">
+  <div id="f-categories"> <!-- filled in by js --> </div>
+  </div>
+  </div>
+
+  <div class="framework">
+  <div class="frameworklabel" style="color:black;font-weight:bold">
+    Available keywords
+  </div>
+  <div class="frameworkcontent">
+  <div id="f-keywords"> <!-- filled in by js --> </div>
+  <div class="clear"> <!-- stop floating contents --> </div>
+  </div>
+  </div>
+
+</div>
+
+<div id="packages">
+  <div class="frameworkcontent">
+   <table>
+  <tbody id="data">
+  </tbody>
+  </table>
+  </div>
+
+</div>
+
+<script src="/scripts/filter.js"/></script>
+<script src="/scripts/packages.js"></script>
+
+<#include "incl/footer.html">