diff options
| author | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-15 09:27:24 -0400 |
|---|---|---|
| committer | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-15 09:27:24 -0400 |
| commit | b87f575ca55220a6d7066d6c96e6895ea4721e04 (patch) | |
| tree | 2ec4f92c7d0433e002907dd0e984144146dcaf1e /docs/build-docs.sh | |
| parent | 39af2422f657f8b5e53af59c7d0dd4fb8d741c38 (diff) | |
moved dirs
Diffstat (limited to 'docs/build-docs.sh')
| -rwxr-xr-x | docs/build-docs.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/build-docs.sh b/docs/build-docs.sh new file mode 100755 index 00000000..ed88227f --- /dev/null +++ b/docs/build-docs.sh @@ -0,0 +1,3 @@ +#!/bin/bash +make clean +make html |