diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-docs | 7 | ||||
| -rwxr-xr-x | bin/docs | 5 |
2 files changed, 12 insertions, 0 deletions
diff --git a/bin/build-docs b/bin/build-docs new file mode 100755 index 0000000..246f5c4 --- /dev/null +++ b/bin/build-docs @@ -0,0 +1,7 @@ +#!/usr/bin/env bash +set -e + +cd "$(dirname "$0")/.." +cd docs +make html +echo "Documentation built successfully!" diff --git a/bin/docs b/bin/docs new file mode 100755 index 0000000..7a6f2d0 --- /dev/null +++ b/bin/docs @@ -0,0 +1,5 @@ +#!/usr/bin/env bash +set -e + +cd "$(dirname "$0")/.." +open docs/build/html/index.html |