diff options
Diffstat (limited to 'lib/sbin/ArrangementDocHTML')
| -rwxr-xr-x | lib/sbin/ArrangementDocHTML | 2 |
1 files changed, 1 insertions, 1 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> |