diff options
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" |