diff options
author | Daniel Stenberg <daniel@haxx.se> | 2014-05-18 19:04:32 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2014-05-18 19:04:32 +0200 |
commit | f01e7e08d84d1574397842f52656ae000f7859a6 (patch) | |
tree | 8aec7dc96177f844ad609bfcf0b4efcf67b25a89 | |
parent | 71ea31ae74c7d075e1a7e1c12f8ce34fa25cb8b6 (diff) |
maketgz: two more CRLF
grrr, missed them in my previous fix
-rwxr-xr-x | maketgz | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" |