diff options
Diffstat (limited to 'Documentation/make_PO_to_ASCIIDOC.sh')
| -rwxr-xr-x | Documentation/make_PO_to_ASCIIDOC.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/make_PO_to_ASCIIDOC.sh b/Documentation/make_PO_to_ASCIIDOC.sh index c619e0a4c..2aae388e2 100755 --- a/Documentation/make_PO_to_ASCIIDOC.sh +++ b/Documentation/make_PO_to_ASCIIDOC.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash -e # # Author(s): Guillaume GARDET <guillaume.gardet@free.fr> # |