diff options
| author | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-24 07:10:19 -0400 |
|---|---|---|
| committer | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-24 07:10:19 -0400 |
| commit | d3df571368450dba3587e939f7312f9566740171 (patch) | |
| tree | 4af3c51f3836ba4ac680293ef05b9fccf92c0725 /docs/build-docs.sh | |
| parent | 13372acb76b5607909ffd11332a7b8817641e88b (diff) | |
moved to rtd
Diffstat (limited to 'docs/build-docs.sh')
| -rwxr-xr-x | docs/build-docs.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/build-docs.sh b/docs/build-docs.sh deleted file mode 100755 index 40322648..00000000 --- a/docs/build-docs.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -make clean -make html -touch docgen/.nojekyll |