diff options
author | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
commit | 6fd22846f21b8b70b7867e989109d14a366c0a3e (patch) | |
tree | 9086774968ad944133dc5cf29c546add6e13a4b6 /stdlib/commands.md | |
parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) |
Moved documentation-generation machinery to its own module.
Diffstat (limited to '')
-rw-r--r-- | stdlib/commands.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/stdlib/commands.md b/stdlib/commands.md index 375800f92..ff590d8a6 100644 --- a/stdlib/commands.md +++ b/stdlib/commands.md @@ -34,6 +34,15 @@ cd ~/lux/stdlib/ && mvn deploy:deploy-file \ cd ~/lux/stdlib/ \ && lein clean \ && lein with-profile scriptum lux auto build + +cd ~/lux/stdlib/ \ +&& lux clean \ +&& lux with documentation auto test + +cd ~/lux/stdlib/ \ +&& lux clean \ +&& lux with documentation build \ +&& java -jar target/program.jar > documentation.md ``` --- |