diff options
-rwxr-xr-x | maketgz | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -9,7 +9,7 @@ # | (__| |_| | _ <| |___ # \___|\___/|_| \_\_____| # -# Copyright (C) 1998 - 2013, Daniel Stenberg, <daniel@haxx.se>, et al. +# Copyright (C) 1998 - 2014, Daniel Stenberg, <daniel@haxx.se>, et al.
# # This software is licensed as described in the file COPYING, which # you should have received as part of this distribution. The terms @@ -123,6 +123,10 @@ make -s html echo "make pdf" make -s pdf +# And the IDE files
+echo "make vc-ide"
+make -s vc-ide
+
echo "produce CHANGES" git log --pretty=fuller --no-color --date=short --decorate=full -1000 | ./log2changes.pl > CHANGES.dist |