Non-visible change to id names in index.html

Somehow with all the recent activity the generated manual_* ids got renumbered. Hopefully it's not a result of different AsciiDoc versions.
freedoom · Jan 30, 2024 · 83192d8 · 83192d8
1 parent 0f4bbf3
commit 83192d8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -165,7 +165,7 @@ <h4 id="_levels">Levels</h4>
 </ul></div>
 </div>
 <div class="sect3">
-<h4 id="_manual">Manual</h4>
+<h4 id="_manual_2">Manual</h4>
 <div class="ulist"><ul>
 <li>
 <p>
@@ -339,7 +339,7 @@ <h4 id="_levels_2">Levels</h4>
 </ul></div>
 </div>
 <div class="sect3">
-<h4 id="_manual_2">Manual</h4>
+<h4 id="_manual_3">Manual</h4>
 <div class="ulist"><ul>
 <li>
 <p>