rename manually created toc to toc-old, to avoid that table of conten…

…ts is automatically overwritten at every make doc
hferee · Oct 9, 2024 · d1f566b · d1f566b
1 parent 102979a
commit d1f566b
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc-config/resources/toc.html → doc-config/resources/toc-old.html b/doc-config/resources/toc.html → doc-config/resources/toc-old.html