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