diff options
| -rwxr-xr-x | lib/sbin/ArrangementDocHTML | 2 | ||||
| -rwxr-xr-x | lib/sbin/ThornDocHTML | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/sbin/ArrangementDocHTML b/lib/sbin/ArrangementDocHTML index 079b88ac..7554893d 100755 --- a/lib/sbin/ArrangementDocHTML +++ b/lib/sbin/ArrangementDocHTML @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/bash # Create all arrangement documentation (HTML) # (C) 2003-07-21 Erik Schnetter <schnetter@uni-tuebingen.de> # (C) 2010-04-21 Barry Wardell <barry.wardell@aei.mpg.de> diff --git a/lib/sbin/ThornDocHTML b/lib/sbin/ThornDocHTML index c1f0f61a..71c762ed 100755 --- a/lib/sbin/ThornDocHTML +++ b/lib/sbin/ThornDocHTML @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/bash # Create all thorn documentations # (C) 2003/05/24 Erik Schnetter <schnetter@uni-tuebingen.de> # (C) 2010-04-21 Barry Wardell <barry.wardell@aei.mpg.de> |