summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xextra/update_gh-pages.sh4
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