From d1f566bdbd694634bef8048b100f01524da76ae1 Mon Sep 17 00:00:00 2001
From: Sam van G <59202064+samvang@users.noreply.github.com>
Date: Wed, 9 Oct 2024 10:44:09 +0200
Subject: [PATCH] rename manually created toc to toc-old, to avoid that table
 of contents is automatically overwritten at every make doc

---
 doc-config/resources/{toc.html => toc-old.html} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc-config/resources/{toc.html => toc-old.html} (100%)

diff --git a/doc-config/resources/toc.html b/doc-config/resources/toc-old.html
similarity index 100%
rename from doc-config/resources/toc.html
rename to doc-config/resources/toc-old.html