Remove unused files

reiniscirpons · Apr 11, 2024 · e8bcf2a · e8bcf2a
1 parent 3e59709
commit e8bcf2a
Show file tree

Hide file tree

Showing 213 changed files with 35 additions and 14,841 deletions.
diff --git a/docs/Congruences.md b/docs/Congruences.md
diff --git a/docs/Doxyfile.bak b/docs/Doxyfile.bak
diff --git a/docs/Doxyfile.old b/docs/Doxyfile.old
diff --git a/docs/KnuthBendix.md b/docs/KnuthBendix.md
diff --git a/docs/WordGraphs.md b/docs/WordGraphs.md
diff --git a/docs/Words.md b/docs/Words.md
diff --git a/docs/fixup.py b/docs/fixup.py
@@ -189,12 +189,18 @@ def fix_menu_3_part_2(data: str) -> tuple[str, bool]:
                 assert value[0] >= 0, "Malformed navigation index"
                 bad_indices.append(value[0])
             value.insert(0, 0)
+    bad_indices.sort()
     k = max(bad_indices)
 
+    if k == 0:
+        # Everything is already fine
+        return data, True
+
     if bad_indices != list(range(k + 1)):
         # TODO: Implement this.
         raise NotImplementedError(
-            "Can't handle case where index navtree indices are non contiguous"
+            "Can't handle case where index navtree indices are non contiguous",
+            (data, bad_indices, k),
         )
 
     for key, value in paths.items():