diff options
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" |