diff options
| author | Bryan Newbold <bnewbold@robocracy.org> | 2018-09-13 17:47:07 -0700 |
|---|---|---|
| committer | Bryan Newbold <bnewbold@robocracy.org> | 2018-09-13 17:47:07 -0700 |
| commit | 4c6a2fdb166f0b730dc65e802a908b87ee9eb48b (patch) | |
| tree | ca6f06ba0b8ade1004993d1f1b4453d86bfecaac /extra/update_gh-pages.sh | |
| parent | 5cfbe5e5016bfba95764d497b60069914fac53bc (diff) | |
| download | fatcat-4c6a2fdb166f0b730dc65e802a908b87ee9eb48b.tar.gz fatcat-4c6a2fdb166f0b730dc65e802a908b87ee9eb48b.zip | |
status of gh-pages script
Diffstat (limited to 'extra/update_gh-pages.sh')
| -rwxr-xr-x | extra/update_gh-pages.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extra/update_gh-pages.sh b/extra/update_gh-pages.sh index 7981fa0a..cf325f63 100755 --- a/extra/update_gh-pages.sh +++ b/extra/update_gh-pages.sh @@ -1,5 +1,9 @@ #!/bin/bash +# Note: this script is BROKEN; the resulting docs don't have javascript search, +# throw a javascript error, and don't include private/internal docs. Not a +# priority right now. + set -e -u -o pipefail cd rust |