From ef0ad13680b342a6c1c684c77dd004c6847e12d9 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Wed, 20 Jan 2016 02:08:34 +0100 Subject: [PATCH] Fix "make clean" --- doc/scripts/shlint.sh | 2 +- doc/scripts/xmllint.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/scripts/shlint.sh b/doc/scripts/shlint.sh index 191b098..561299e 100755 --- a/doc/scripts/shlint.sh +++ b/doc/scripts/shlint.sh @@ -115,7 +115,7 @@ fi target="$1" #clean -[ $clean -ne 0 ] && return 0 +[ $clean -ne 0 ] && exit 0 exec 3>&1 _shlint > "$target" diff --git a/doc/scripts/xmllint.sh b/doc/scripts/xmllint.sh index d8d4ae4..8de3345 100755 --- a/doc/scripts/xmllint.sh +++ b/doc/scripts/xmllint.sh @@ -116,7 +116,7 @@ fi target="$1" #clean -[ $clean -ne 0 ] && return 0 +[ $clean -ne 0 ] && exit 0 exec 3>&1 _xmllint > "$target"