curl tool: renaming hugehelp files to tool_hugehelp

This commit is contained in:
Yang Tse
2012-12-26 23:30:54 +01:00
parent eb5aa12c8b
commit ae2a2c9931
26 changed files with 89 additions and 86 deletions

View File

@@ -12,9 +12,9 @@ ECHO ERROR: This file shall only be used with a curl git tree checkout.
goto end_all
:start_doing
REM create hugehelp.c
if not exist src\hugehelp.c.cvs goto end_hugehelp_c
copy /Y src\hugehelp.c.cvs src\hugehelp.c
REM create tool_hugehelp.c
if not exist src\tool_hugehelp.c.cvs goto end_hugehelp_c
copy /Y src\tool_hugehelp.c.cvs src\tool_hugehelp.c
:end_hugehelp_c
REM create Makefile