diff options
| author | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-15 13:41:06 -0400 |
|---|---|---|
| committer | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-15 13:41:06 -0400 |
| commit | 87f3ef4505e799f01ce45ce507932c9765212253 (patch) | |
| tree | 11d67801f5d41cea1ebb1538542737829e84d29f /docs/build-docs.sh | |
| parent | 8d05b33fcd62b06796f9be7594a2d768560d7860 (diff) | |
nit
Diffstat (limited to 'docs/build-docs.sh')
| -rwxr-xr-x | docs/build-docs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/build-docs.sh b/docs/build-docs.sh index ed88227f..2956205c 100755 --- a/docs/build-docs.sh +++ b/docs/build-docs.sh @@ -1,3 +1,4 @@ #!/bin/bash make clean make html +touch _build/.nojekyll |