migrate parameters (#19)

Co-authored-by: CaCO3 <caco@ruinelli.ch>
This commit is contained in:
CaCO3
2023-02-20 23:02:05 +01:00
committed by GitHub
parent 1ffe9caf27
commit 47907aaa2b
29 changed files with 31 additions and 51 deletions

View File

@@ -34,7 +34,7 @@ The script `concat-parameter-pages.py` in `param-docs` should be run whenever on
It then concatenates all pages into the single `../docs/Parameters.md` which gets be added to the `mkdocs` documentation.
### Template Generator
The script `param-docs/generate-param-doc-pages.py` should be run whenever a new parameter gets added to the config file.
The script `generate-param-doc-pages.py` should be run whenever a new parameter gets added to the config file.
It then checks if there is already page for each of the parameters.
- If no page exists yet, a templated page gets generated.
- Existing pages do not get modified.