summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xdocs/makedocs.pl6
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/makedocs.pl b/docs/makedocs.pl
index d14e79434..4f0f52579 100755
--- a/docs/makedocs.pl
+++ b/docs/makedocs.pl
@@ -57,12 +57,14 @@ use File::Which qw(which);
# Subs
###############################################################################
+my $error_found = 0;
sub MakeDocs {
my ($name, $cmdline) = @_;
say "Creating $name documentation ..." if defined $name;
say "$cmdline\n";
- system $cmdline;
+ system($cmdline) == 0
+ or $error_found = 1;
print "\n";
}
@@ -160,3 +162,5 @@ foreach my $lang (@langs) {
rmtree('doctrees', 0, 1);
}
+
+die "Error occurred building the documentation\n" if $error_found;