summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/makedocs.pl13
1 files changed, 9 insertions, 4 deletions
diff --git a/docs/makedocs.pl b/docs/makedocs.pl
index f74f87cc3..ac0b0baf7 100644
--- a/docs/makedocs.pl
+++ b/docs/makedocs.pl
@@ -103,20 +103,24 @@ close(ENTITIES);
# Environment Variable Checking
###############################################################################
-my ($JADE_PUB, $LDP_HOME);
-
+my ($JADE_PUB, $LDP_HOME, $build_docs);
+$build_docs = 1;
if (defined $ENV{JADE_PUB} && $ENV{JADE_PUB} ne '') {
$JADE_PUB = $ENV{JADE_PUB};
}
else {
- die "You need to set the JADE_PUB environment variable first.";
+ print "To build 'The Bugzilla Guide', you need to set the ";
+ print "JADE_PUB environment variable first.\n";
+ $build_docs = 0;
}
if (defined $ENV{LDP_HOME} && $ENV{LDP_HOME} ne '') {
$LDP_HOME = $ENV{LDP_HOME};
}
else {
- die "You need to set the LDP_HOME environment variable first.";
+ print "To build 'The Bugzilla Guide', you need to set the ";
+ print "LDP_HOME environment variable first.\n";
+ $build_docs = 0;
}
###############################################################################
@@ -182,6 +186,7 @@ if (!-d 'pdf') {
}
make_pod() if $pod_simple;
+exit unless $build_docs;
chdir 'html';