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"