clean up extra/ folder a bit

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"