diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-06 12:18:04 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-06 12:39:53 +0000 |
commit | 3fb917d86aad672b63005ef44e4936fe1564a8ff (patch) | |
tree | 615875d8986cd3fa92325f557f45134b3da1f830 /.gitlab-ci.yml | |
parent | 89f63711749e6173c7cbf979b9873f48d1b6c384 (diff) | |
download | torspec-3fb917d86aad672b63005ef44e4936fe1564a8ff.tar.gz torspec-3fb917d86aad672b63005ef44e4936fe1564a8ff.zip |
build_html.sh: Honour MDBOOK environment variable
This can makes it easier to run the build in unusual situations.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions