diff options
| author | Aldo Cortesi <aldo@corte.si> | 2018-03-30 09:38:17 +1300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-30 09:38:17 +1300 |
| commit | 3c52ed6ee1948a1c4b0fa064fe7313bdfadb8950 (patch) | |
| tree | 93ec314a2228612f76cde96132d0f4d496f3de78 /docs/build-current | |
| parent | c6cf502657024c8077fe2e52a3f20c41ade0fbaf (diff) | |
| parent | f6699792da82c00de4cdcc1e413bd65caad9d3c3 (diff) | |
| download | mitmproxy-3c52ed6ee1948a1c4b0fa064fe7313bdfadb8950.tar.gz mitmproxy-3c52ed6ee1948a1c4b0fa064fe7313bdfadb8950.tar.bz2 mitmproxy-3c52ed6ee1948a1c4b0fa064fe7313bdfadb8950.zip | |
Merge pull request #3012 from Kriechi/docs-options
docs: add auto-generated options reference
Diffstat (limited to 'docs/build-current')
| -rwxr-xr-x | docs/build-current | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/docs/build-current b/docs/build-current index a78acab4..7164de6d 100755 --- a/docs/build-current +++ b/docs/build-current @@ -1,5 +1,12 @@ -#!/bin/sh +#!/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 |