diff options
Diffstat (limited to 'doc/manual')
| -rwxr-xr-x | doc/manual/process-includes.sh | 2 | ||||
| -rwxr-xr-x | doc/manual/render-manpage.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/process-includes.sh b/doc/manual/process-includes.sh index 51ac67acb..b35a0d307 100755 --- a/doc/manual/process-includes.sh +++ b/doc/manual/process-includes.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -euo pipefail diff --git a/doc/manual/render-manpage.sh b/doc/manual/render-manpage.sh index 7d83253cb..65a9c124e 100755 --- a/doc/manual/render-manpage.sh +++ b/doc/manual/render-manpage.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -euo pipefail |