diff options
author | Didier Wenzek <didier.wenzek@acidalie.com> | 2022-08-19 09:05:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-19 09:05:33 +0200 |
commit | 53c75cb81ec4551fde6dab3e26ef55ff6cd7e7f2 (patch) | |
tree | 73ecbfeae6dfd6c9a3d084c769e802d1e22dc560 /docs | |
parent | ee3047cd76ad7485526f262442d97a48c6427349 (diff) | |
parent | e67ad4d292fb734ed8d6931e7b400cbc2f916dc8 (diff) |
Merge pull request #1326 from matthiasbeyer/add-shellcheck
Add shellcheck action, fix issues
Diffstat (limited to 'docs')
-rwxr-xr-x | docs/gen-ref-docs.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/gen-ref-docs.sh b/docs/gen-ref-docs.sh index cbaed264..a75165ff 100755 --- a/docs/gen-ref-docs.sh +++ b/docs/gen-ref-docs.sh @@ -1,3 +1,5 @@ +#!/usr/bin/env bash + SRC=docs/src/references PATH=$PATH:target/debug:target/release |