2 Commits

Author	SHA1	Message	Date
Max Gautier	fae41172ed	gen_docs_sidebar: redirect output to sidebar.md as part of the script ... The script should be self-sufficient (with no need to manually specify a redirection). This makes it easier to run it as part of pre-commit and CI.	2024-05-19 11:54:39 +02:00
Payback159	5d01dfa179	add auto generate documentation sidebar script, introduce script as pre-commit-hook, adapt existing scripts to work with documentation structure	2024-05-17 15:09:54 +02:00