diff options
Diffstat (limited to 'aux/workflow')
| -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" ;; *) |