diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-08-15T15·11+0100 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-08-15T15·11+0100 |
| commit | 128875b501bc2989617ae553317b80faa556d752 (patch) | |
| tree | 9b32d12123801179ebe900980556486ad4803482 /third_party/bazel/rules_haskell/serve-docs.sh | |
| parent | a20daf87265a62b494d67f86d4a5199f14394973 (diff) | |
chore: Remove remaining Bazel-related files r/31
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 3ae4525fd84f..000000000000 --- 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 |