diff options
| author | Thomas Kriechbaumer <Kriechi@users.noreply.github.com> | 2020-04-12 22:06:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-12 22:06:22 +0200 |
| commit | 30645fa1ac6fa828bda390383abee7c04f20206f (patch) | |
| tree | 10b599dab550e06c6d2d9ffb37dd1a3cf783922a /docs/build-current | |
| parent | ce50e8e52dc5316f9be29bc00d0dc72fc2b0af83 (diff) | |
| parent | 55527c00eb35bf3b07b361363fd8ca2961afc8ba (diff) | |
| download | mitmproxy-30645fa1ac6fa828bda390383abee7c04f20206f.tar.gz mitmproxy-30645fa1ac6fa828bda390383abee7c04f20206f.tar.bz2 mitmproxy-30645fa1ac6fa828bda390383abee7c04f20206f.zip | |
Merge pull request #3921 from Kriechi/example-docs
Example docs
Diffstat (limited to 'docs/build-current')
| -rwxr-xr-x | docs/build-current | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/docs/build-current b/docs/build-current deleted file mode 100755 index 7164de6d..00000000 --- a/docs/build-current +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env bash - -set -e - -for script in scripts/* ; do - echo "Generating output for $script ..." - output="${script##*/}" - "$script" > "src/generated/${output%.*}.html" -done - -cd src -hugo |