diff options
author | mozilla%colinogilvie.co.uk <> | 2006-09-15 04:51:04 +0200 |
---|---|---|
committer | mozilla%colinogilvie.co.uk <> | 2006-09-15 04:51:04 +0200 |
commit | 4d734cd3df63127e644af23ac8fb822b6516e3fe (patch) | |
tree | 06dbcc1e3f79712e26a84125724076444b83988e | |
parent | 5f3adf30b0cde623b56c0fc5c0e3447643de4b08 (diff) | |
download | bugzilla-4d734cd3df63127e644af23ac8fb822b6516e3fe.tar.gz bugzilla-4d734cd3df63127e644af23ac8fb822b6516e3fe.tar.xz |
Bug 351958: Allow buidling the API documentation without the rest of the build environment
Patch by Colin Ogilvie <colin.ogilvie@gmail.com>; r=mkanat; a=justdave
-rw-r--r-- | docs/makedocs.pl | 13 |
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'; |