From 4c6a2fdb166f0b730dc65e802a908b87ee9eb48b Mon Sep 17 00:00:00 2001 From: Bryan Newbold Date: Thu, 13 Sep 2018 17:47:07 -0700 Subject: status of gh-pages script --- extra/update_gh-pages.sh | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'extra') 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 -- cgit v1.2.3