summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/d-i_manual.sh10
1 files changed, 10 insertions, 0 deletions
diff --git a/bin/d-i_manual.sh b/bin/d-i_manual.sh
index 31d60426..df1b847f 100755
--- a/bin/d-i_manual.sh
+++ b/bin/d-i_manual.sh
@@ -77,6 +77,15 @@ build_language() {
# ignore kernel architectures
if [ "$ARCH" != "hurd" ] && [ "$ARCH" != "kfreebsd" ] && [ "$ARCH" != "linux" ] ; then
make languages=$1 architectures=$ARCH destination=../../$FORMAT/ formats=$FORMAT
+ if ( [ "$FORMAT" = "pdf" ] && [ ! -f pdf/$1.$ARCH/install.$1.pdf ] ) || \
+ ( [ "$FORMAT" = "html" ] && [ ! -f html/$1.$ARCH/index.html ] ) ; then
+ echo
+ echo "Failed to build $1 $FORMAT for $ARCH, exiting."
+ echo
+ cd ../..
+ svn revert manual -R
+ exit 1
+ fi
fi
done
cd ../..
@@ -89,6 +98,7 @@ build_language() {
mkdir -p pdf/dummy
touch pdf/dummy/dummy.pdf
fi
+ echo
}
po_cleanup() {