diff options
author | Bryan Newbold <bnewbold@robocracy.org> | 2021-11-29 15:02:27 -0800 |
---|---|---|
committer | Bryan Newbold <bnewbold@robocracy.org> | 2021-11-29 15:02:27 -0800 |
commit | 7c6afa0a21883dc8037f3d021246db24eef39b41 (patch) | |
tree | 3fa7c1e595248a46e88ea62c2f9f70106186b0fe /extra/update_gh-pages.sh | |
parent | c32154f2875a7fb9aac727013e1475cdd811e180 (diff) | |
download | fatcat-7c6afa0a21883dc8037f3d021246db24eef39b41.tar.gz fatcat-7c6afa0a21883dc8037f3d021246db24eef39b41.zip |
clean up extra/ folder a bit
Diffstat (limited to 'extra/update_gh-pages.sh')
-rwxr-xr-x | extra/update_gh-pages.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/extra/update_gh-pages.sh b/extra/update_gh-pages.sh deleted file mode 100755 index 2771c24e..00000000 --- a/extra/update_gh-pages.sh +++ /dev/null @@ -1,24 +0,0 @@ -#!/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 -cargo doc -mkdir -p /tmp/fatcat-ghpages -cp -r target/doc/fatcat target/doc/fatcat_openapi /tmp/fatcat-ghpages -cd .. -git checkout gh-pages -mv fatcat fatcat.old_docs || true -mv fatcat_openapi fatcat_openapi.old_docs || true -mv /tmp/fatcat-ghpages/fatcat . -mv /tmp/fatcat-ghpages/fatcat_openapi . -git add fatcat fatcat_openapi -git commit -m "updating rendered manpage for github docs" || true -git checkout master -rm -r /tmp/fatcat-ghpages - -echo "DONE" |