diff options
| -rwxr-xr-x | tools/release/manuals.pl | 2 | ||||
| -rwxr-xr-x | tools/release/voices.pl | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl index 368d31a..8b5e37b 100755 --- a/tools/release/manuals.pl +++ b/tools/release/manuals.pl @@ -2,6 +2,8 @@ $version="3.0"; +require "tools/builds.pm"; + my $verbose; if($ARGV[0] eq "-v") { $verbose =1; diff --git a/tools/release/voices.pl b/tools/release/voices.pl index a534961..bf37bfe 100755 --- a/tools/release/voices.pl +++ b/tools/release/voices.pl @@ -2,6 +2,8 @@ $version="3.0"; +require "tools/builds.pm"; + my $verbose; if($ARGV[0] eq "-v") { $verbose =1; |