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

1.3 KiB

Executable File

Raw Blame History

View Raw