diff --git a/maketgz b/maketgz
index acc0a47b3ea4f137284a603d3cdd5211e4693375..b1ecbb9d90a48830a5505f95110994bcc5398eab 100755
--- a/maketgz
+++ b/maketgz
@@ -125,8 +125,8 @@ make -s pdf
 
 # And the IDE files
 echo "make vc-ide"
-make -s vc-ide
-
+make -s vc-ide
+
 echo "produce CHANGES"
 git log --pretty=fuller --no-color --date=short --decorate=full -1000 | ./log2changes.pl > CHANGES.dist