diff options
Diffstat (limited to 'third_party/bazel/rules_haskell/serve-docs.sh')
| -rwxr-xr-x | third_party/bazel/rules_haskell/serve-docs.sh | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/third_party/bazel/rules_haskell/serve-docs.sh b/third_party/bazel/rules_haskell/serve-docs.sh deleted file mode 100755 index 3ae4525fd8..0000000000 --- a/third_party/bazel/rules_haskell/serve-docs.sh +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/sh -# -# Usage: -# -# ./serve-docs.sh [PORT_NUMBER] - -set -e - -SCRATCH=$(mktemp -d --tmpdir rules_haskell-docs.XXXX) -PORT=${1:-8000} - -function finish { - echo Deleting $SCRATCH ... - rm -rf "$scratch" -} - -trap finish EXIT - -bazel build //docs:api_html -mkdir $SCRATCH/api -unzip -d $SCRATCH/api bazel-bin/docs/api_html-skydoc.zip - -bazel build //docs:guide_html -mkdir $SCRATCH/guide -unzip -d $SCRATCH/guide bazel-genfiles/docs/guide_html.zip - -cd $SCRATCH -python -m SimpleHTTPServer $PORT |