diff options
Diffstat (limited to 'maketgz')
-rwxr-xr-x | maketgz | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -133,6 +133,14 @@ fi ############################################################################ # +# Modify the man pages to display the version number and date. +# + +echo "update man pages" +./scripts/updatemanpages.pl $version + +############################################################################ +# # Update the IDE files echo "make vc-ide" make -s vc-ide |