diff options
-rwxr-xr-x | docs/makedocs.pl | 6 |
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; |