diff -r 484c28d7fd1b -r f872c8278074 make/Javadoc.gmk
--- 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)