diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-06 12:20:00 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-06 12:40:14 +0000 |
commit | 3121c10c737a30d1288ad3955f9105dcb193df73 (patch) | |
tree | 3a2ea674921aee44d104ef0c33f5bedcc8402938 /.gitlab-ci.yml | |
parent | 3fb917d86aad672b63005ef44e4936fe1564a8ff (diff) | |
download | torspec-3121c10c737a30d1288ad3955f9105dcb193df73.tar.gz torspec-3121c10c737a30d1288ad3955f9105dcb193df73.zip |
Remove language file extension from bin/*
Putting ".sh" or ".py" on the end of scripts is an antipattern.
It makes it inconvenient to change the implementation language.
Change all call sites.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 687baca..f01e598 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,7 +8,7 @@ build: - cargo install mdbook - apt-get update && apt-get install -y git python3 python3-yaml - ./bin/check_index - - ./bin/build_html.sh + - ./bin/build_html - mv html public artifacts: paths: |