diff options
| -rwxr-xr-x | helpcontent2/makefile.pmk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/helpcontent2/makefile.pmk b/helpcontent2/makefile.pmk index d26c760acb..9a637e0c4a 100755 --- a/helpcontent2/makefile.pmk +++ b/helpcontent2/makefile.pmk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.pmk,v $ # -# $Revision: 1.15 $ +# $Revision: 1.16 $ # -# last change: $Author: hjs $ $Date: 2006-04-21 11:31:11 $ +# last change: $Author: hr $ $Date: 2006-08-14 16:17:29 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -42,7 +42,7 @@ ALLTAR : $(COMMONMISC)$/$(TARGET).done $(COMMONMISC)$/xhp_changed.flag optix $(HLANGXHPFILES) : $$(@:d)thisdir.created -$(COMMONMISC)$/{$(aux_alllangiso)}$/$(SHELL_PACKAGE)$/%.xhp : %.xhp +$(COMMONMISC)$/{$(aux_alllangiso)}$/$(SHELL_PACKAGE)$/%.xhp :| %.xhp @$(TOUCH) $@ # internal dependencies not sufficient to trigger merge? # @$(NULL) |