summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/release/bins.pl6
-rwxr-xr-xtools/release/manuals.pl4
-rwxr-xr-xtools/release/voices.pl2
3 files changed, 6 insertions, 6 deletions
diff --git a/tools/release/bins.pl b/tools/release/bins.pl
index c7af1f64c2..bd979ac670 100755
--- a/tools/release/bins.pl
+++ b/tools/release/bins.pl
@@ -117,13 +117,13 @@ sub buildit {
117 `make VERSION=$version`; 117 `make VERSION=$version`;
118 118
119 print "Run 'make zip'\n" if($verbose); 119 print "Run 'make zip'\n" if($verbose);
120 `make zip`; 120 `make zip VERSION=$version`;
121 121
122 print "Run 'make mapzip'\n" if($verbose); 122 print "Run 'make mapzip'\n" if($verbose);
123 `make mapzip`; 123 `make mapzip VERSION=$version`;
124 124
125 print "Run 'make elfzip'\n" if($verbose); 125 print "Run 'make elfzip'\n" if($verbose);
126 `make elfzip`; 126 `make elfzip VERSION=$version`;
127} 127}
128 128
129sub buildfonts { 129sub buildfonts {
diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl
index fb4bbb876a..9aa3feebd4 100755
--- a/tools/release/manuals.pl
+++ b/tools/release/manuals.pl
@@ -65,10 +65,10 @@ sub buildit {
65 `$c`; 65 `$c`;
66 66
67 print "Run 'make'\n" if($verbose); 67 print "Run 'make'\n" if($verbose);
68 `make manual 2>/dev/null`; 68 `make manual VERSION=$version 2>/dev/null`;
69 69
70 print "Run 'make manual-zip'\n" if($verbose); 70 print "Run 'make manual-zip'\n" if($verbose);
71 `make manual-zip 2>/dev/null`; 71 `make manual-zip VERSION=$version 2>/dev/null`;
72} 72}
73 73
74# run make in tools first to make sure they're up-to-date 74# run make in tools first to make sure they're up-to-date
diff --git a/tools/release/voices.pl b/tools/release/voices.pl
index ab00227d70..b605362496 100755
--- a/tools/release/voices.pl
+++ b/tools/release/voices.pl
@@ -62,7 +62,7 @@ sub buildit {
62 `$c`; 62 `$c`;
63 63
64 print "Run 'make voice'\n" if($verbose); 64 print "Run 'make voice'\n" if($verbose);
65 print `make voice 2>/dev/null`; 65 print `make voice VERSION=$version 2>/dev/null`;
66} 66}
67 67
68# run make in tools first to make sure they're up-to-date 68# run make in tools first to make sure they're up-to-date