diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-19 09:12:48 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-19 09:12:48 -0300 |
| commit | 5ad1d6353062b61a0f8fb675cd8b0da6e2655a49 (patch) | |
| tree | 3f19432a9dff527d9dc53f39dff0f042cde39e16 /aux | |
| parent | TODOs.md: Mark #task-9e842529-b782-84a2-1d0a-801a8766cb7e as DONE (diff) | |
| download | git-permalink-5ad1d6353062b61a0f8fb675cd8b0da6e2655a49.tar.gz git-permalink-5ad1d6353062b61a0f8fb675cd8b0da6e2655a49.tar.xz | |
aux/workflow/manpages.sh: Suppress ShellCheck warnings
Diffstat (limited to 'aux')
| -rwxr-xr-x | aux/workflow/manpages.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/aux/workflow/manpages.sh b/aux/workflow/manpages.sh index de3cef9..e4ea8f2 100755 --- a/aux/workflow/manpages.sh +++ b/aux/workflow/manpages.sh @@ -30,6 +30,7 @@ else case "$OP" in --install) mkdir -p "$mandir_name" + # shellcheck disable=2068 $@ < "$filefrom_name" > "$mandir_name/$fileto_name" mkdir -p "$PREFIX/man$n" ln -fs "../en/man$n/$fileto_name" "$PREFIX/man$n/$fileto_name" @@ -41,6 +42,7 @@ else ;; --html) mkdir -p "$htmldir_name" + # shellcheck disable=2068 $@ < "$filefrom_name" | pandoc -s -r man -w html > "public/$lang/$fileto_name.html" ;; *) |