|
|
1e7c0ed279
|
doc: improve update-toc output
|
2021-06-27 21:34:12 +02:00 |
|
|
|
e7f57b4d91
|
feat: Mask doc if its ancestor name starts with '_'
|
2021-06-27 21:12:59 +02:00 |
|
|
|
11a96f1b87
|
Ignore files starting with _
|
2021-03-09 09:42:13 +01:00 |
|
|
|
dce9e69a35
|
scripts: Improve update-toc
|
2020-11-11 10:52:15 +01:00 |
|
|
|
ff924ebe52
|
Add script for updating mkdocs toc
|
2020-04-19 12:07:56 +02:00 |
|
