|
|
769fe66263
|
doc: improve update-toc output
|
2021-06-27 23:45:49 +02:00 |
|
|
|
1e27f3bdea
|
feat: Mask doc if its ancestor name starts with '_'
|
2021-06-27 23:45:49 +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 |
|
