diff options
| author | Marvin Borner | 2023-11-06 00:24:11 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-11-06 00:24:31 +0100 |
| commit | 9d722a0b6138827de743f9fe4acbf3f2c1830bb0 (patch) | |
| tree | 789b8df72f0f2cae2bb4009ddb93b914bf83eb2c /docs/gen.sh | |
| parent | 027fc0f91ae7bf64564091fbcec7694f5d53d8fe (diff) | |
Started creating new docs with wiki
Diffstat (limited to 'docs/gen.sh')
| -rwxr-xr-x | docs/gen.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/gen.sh b/docs/gen.sh index 5d295e7..f79ce6b 100755 --- a/docs/gen.sh +++ b/docs/gen.sh @@ -18,3 +18,8 @@ done sed -e "s@LINKS@$links@g" index.template >std/index.html cp res/* content.js content.css index.css std/ + +echo "std done" + +mkdocs build +echo "wiki done" |