Keep litani.7 at the first index in report

Fixes #154
awslabs · May 11, 2022 · 8e6cbd9 · 8e6cbd9
1 parent 8e954fc
commit 8e6cbd9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/configure b/doc/configure
@@ -206,6 +206,10 @@ def main():
 
     add_litani_7(builds, html_mans, args.gen_html)
 
+    for h in html_mans:
+        if "litani.7" in str(h.resolve()):
+            html_mans.insert(0, html_mans.pop(html_mans.index(h)))
+
     if args.gen_html:
         builds.append({
             "inputs": html_mans + [