changeset 42136 | f872c8278074 |
parent 42135 | 484c28d7fd1b |
child 42290 | 78f42d447fc3 |
--- a/make/Javadoc.gmk Tue Nov 22 13:44:41 2016 +0100 +++ b/make/Javadoc.gmk Tue Nov 22 14:47:52 2016 +0100 @@ -724,7 +724,7 @@ name=`$(ECHO) $${target_dir} | $(SED) "s;/spec;;" | $(SED) "s;.*/;;"`; \ $(LN) -s $${target_dir} $${name}; \ done; \ - $(ZIP) -q -r $(JAVADOC_ARCHIVE) * ; \ + $(ZIPEXE) -q -r $(JAVADOC_ARCHIVE) * ; \ popd ; ZIP_TARGETS += $(JAVADOC_ARCHIVE)