|
|
5515ff2d18
|
feat: handle mkdocs patching
|
2022-01-28 18:41:34 +01:00 |
|
|
|
da505d456b
|
doc: add details for commands + verbosity
|
2022-01-26 17:03:07 +01:00 |
|
|
|
69eeba6311
|
fix: set basedir to sane default value
|
2021-12-23 22:42:53 +01:00 |
|
|
|
47c507074d
|
Disable debug line
|
2021-12-21 16:55:46 +01:00 |
|
|
|
27e203a3ac
|
ci: handle no-tty mode
|
2021-12-21 16:42:00 +01:00 |
|
|
|
effbefc00a
|
scripts: make slides/docs optional (in case of missing directory)
|
2021-12-06 11:11:24 +01:00 |
|
|
|
4e09526845
|
fix: handle user UID/GID
|
2021-11-30 15:01:01 +01:00 |
|
|
|
9c4c2710d6
|
script: fix volumes in gx-teaching
|
2021-11-25 18:44:46 +01:00 |
|
|
|
6db13325d7
|
scripts: fix theme detection
|
2021-11-25 17:52:03 +01:00 |
|
|
|
ee60b803db
|
Disable marp theme if not needed
|
2021-11-24 19:35:20 +01:00 |
|
|
|
f892fe9658
|
Update script
|
2021-11-23 23:48:06 +01:00 |
|
|
|
2193ca202d
|
fix: Make sure watch works for tocupdate target
|
2021-06-27 23:45:49 +02:00 |
|
|
|
73651fce79
|
feat: update-toc handles files in root directory
|
2021-06-27 23:45:49 +02:00 |
|
|
|
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 |
|
|
|
d9a7954c18
|
Add two-way scripts for slides & docs
|
2021-03-09 08:57:59 +01:00 |
|
|
|
a11b0657e9
|
scripts: add docs-to-slides script
|
2020-11-11 10:53:52 +01:00 |
|
|
|
dce9e69a35
|
scripts: Improve update-toc
|
2020-11-11 10:52:15 +01:00 |
|
|
|
21f4828e98
|
Improve build-syllabus script
|
2020-11-09 10:04:40 +01:00 |
|
|
|
59c89f4b0d
|
Improve syllabus script
|
2020-09-03 11:33:09 +02:00 |
|
|
|
fa988519c0
|
mkteaching: fail if directory missing
|
2020-09-03 11:32:44 +02:00 |
|
|
|
7cc8ddc0a2
|
Add script for updating repositories
|
2020-04-19 12:34:53 +02:00 |
|
|
|
ff924ebe52
|
Add script for updating mkdocs toc
|
2020-04-19 12:07:56 +02:00 |
|
|
|
4ed74a594c
|
Move bin/ to scripts/
|
2020-04-19 11:38:32 +02:00 |
|
