diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2001-07-15 17:11:26 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2001-07-15 17:11:26 (GMT) |
commit | 89f2a610a5ca245dcc19dc7e95b49ff664c3b66a (patch) | |
tree | bc5400211360251f121d60efdd50b09f10db11d2 /wintools/make.pl | |
parent | d5150cf4f1de010ad62f6de641532805ba81940a (diff) | |
download | Doxygen-89f2a610a5ca245dcc19dc7e95b49ff664c3b66a.zip Doxygen-89f2a610a5ca245dcc19dc7e95b49ff664c3b66a.tar.gz Doxygen-89f2a610a5ca245dcc19dc7e95b49ff664c3b66a.tar.bz2 |
Release-1.2.8-20010715
Diffstat (limited to 'wintools/make.pl')
-rwxr-xr-x | wintools/make.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/wintools/make.pl b/wintools/make.pl index ace6944..3efa768 100755 --- a/wintools/make.pl +++ b/wintools/make.pl @@ -27,6 +27,7 @@ print FILE "TMAKE = $pwd\\tmake\\bin\\tmake\n"; print FILE "MAKE = $make\n"; print FILE "PERL = perl\n"; print FILE "RM = del /s /q\n"; +print FILE "CP = copy\n"; print FILE "VERSION = "; # copy contents of VERSION file to FILE |