3 Commits (lean/pre-commit-hook-2)

Author SHA1 Message Date
Max Gautier 96bb0a3e12
sidebar_gen: force C locale 6 months ago
Max Gautier fae41172ed
gen_docs_sidebar: redirect output to sidebar.md as part of the script 6 months ago
Payback159 5d01dfa179 add auto generate documentation sidebar script, introduce script as pre-commit-hook, adapt existing scripts to work with documentation structure 6 months ago