diff options
Diffstat (limited to 'doc/build.sh')
-rwxr-xr-x | doc/build.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/doc/build.sh b/doc/build.sh deleted file mode 100755 index 8a04877..0000000 --- a/doc/build.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -set -eu - -version="$(git describe --dirty)" -blockdiag3 arch.diag -pandoc \ - -Vdate="Version: $version" \ - --toc \ - --standalone \ - --self-contained \ - --css arch.css \ - -o arch.html \ - *.yarn |