1
Fork 0

Merge branch 'dev' into docs/mkdocs

This commit is contained in:
Tibo De Peuter 2026-05-20 15:07:08 +02:00
commit 6d4a05e1bb
21 changed files with 893 additions and 89 deletions

View file

@ -3,7 +3,7 @@ import glob
import re
import shutil
folders_to_copy = ["src", "scripts", "configs" ]
folders_to_copy = ["src", "scripts", "configs"]
for folder in folders_to_copy:
if os.path.exists(folder):
shutil.copytree(folder, f"docs/{folder}", dirs_exist_ok=True)
@ -14,7 +14,9 @@ for filepath in glob.glob("docs/**/*.md", recursive=True):
# RULE A: Fix links pointing OUT to src/, scripts/, or configs/
# Logic: Because the folders were moved one level deeper, we remove exactly ONE '../'
content = re.sub(r"\]\(\.\./((?:\.\./)*)(src|scripts|configs)/([^)]*)\)", r"](\1\2/\3)", content)
content = re.sub(
r"\]\(\.\./((?:\.\./)*)(src|scripts|configs)/([^)]*)\)", r"](\1\2/\3)", content
)
# RULE B: Fix links pointing FROM the copied files back TO the original docs/ folder
# Logic: Since these files are now inside docs/, the 'docs/' segment in the path is redundant.