diff options
-rw-r--r-- | readlicense_oo/html/makefile.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/readlicense_oo/html/makefile.mk b/readlicense_oo/html/makefile.mk index 6674471ef9e8..ab0690394aac 100644 --- a/readlicense_oo/html/makefile.mk +++ b/readlicense_oo/html/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.4 $ +# $Revision: 1.5 $ # -# last change: $Author: rt $ $Date: 2005-09-09 05:08:46 $ +# last change: $Author: obo $ $Date: 2007-01-25 12:20:20 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -51,5 +51,5 @@ all: $(MISC)$/THIRDPARTYLICENSEREADME.html .INCLUDE : target.mk $(MISC)$/THIRDPARTYLICENSEREADME.html: THIRDPARTYLICENSEREADME.html - +-$(COPY) THIRDPARTYLICENSEREADME.html $@ + $(COPY) THIRDPARTYLICENSEREADME.html $@ |