$(mkinstalldirs) $(DESTDIR)$(TARGET_DIR)
(installfiles=`echo html.developper/*`; \
if test "$$installfiles" = 'html.developper/*'; \
$(mkinstalldirs) $(DESTDIR)$(TARGET_DIR)
(installfiles=`echo html.developper/*`; \
if test "$$installfiles" = 'html.developper/*'; \