diff --git a/docs/html/update_gtkintf_html.sh b/docs/html/update_gtkintf_html.sh index ae6248ef3c..93c5f02b20 100644 --- a/docs/html/update_gtkintf_html.sh +++ b/docs/html/update_gtkintf_html.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # # Author: Mattias Gaertner # diff --git a/docs/html/update_html.sh b/docs/html/update_html.sh index 3addcbbea4..5a1c539ea4 100644 --- a/docs/html/update_html.sh +++ b/docs/html/update_html.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # # Author: Mattias Gaertner # diff --git a/docs/html/update_lcl_html.sh b/docs/html/update_lcl_html.sh index 1b7a3fddbe..5fb1c2583d 100644 --- a/docs/html/update_lcl_html.sh +++ b/docs/html/update_lcl_html.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # # Author: Mattias Gaertner # diff --git a/docs/xml/make_all_skel.sh b/docs/xml/make_all_skel.sh index 53457306e7..a53a1e0e8f 100644 --- a/docs/xml/make_all_skel.sh +++ b/docs/xml/make_all_skel.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # # Author: Mattias Gaertner #