1 files changed, 2 insertions, 2 deletions
diff --git a/maketgz b/maketgz
index b1ecbb9d9..2967eb3a1 100755
--- a/maketgz
+++ b/maketgz
@@ -123,8 +123,8 @@ make -s html
 echo "make pdf"
 make -s pdf
 
-# And the IDE files
-echo "make vc-ide"
+# And the IDE files
+echo "make vc-ide"
 make -s vc-ide
 
 echo "produce CHANGES"