equal
deleted
inserted
replaced
722 for index_file in $${all_roots} ; do \ |
722 for index_file in $${all_roots} ; do \ |
723 target_dir=`dirname $${index_file}`; \ |
723 target_dir=`dirname $${index_file}`; \ |
724 name=`$(ECHO) $${target_dir} | $(SED) "s;/spec;;" | $(SED) "s;.*/;;"`; \ |
724 name=`$(ECHO) $${target_dir} | $(SED) "s;/spec;;" | $(SED) "s;.*/;;"`; \ |
725 $(LN) -s $${target_dir} $${name}; \ |
725 $(LN) -s $${target_dir} $${name}; \ |
726 done; \ |
726 done; \ |
727 $(ZIP) -q -r $(JAVADOC_ARCHIVE) * ; \ |
727 $(ZIPEXE) -q -r $(JAVADOC_ARCHIVE) * ; \ |
728 popd ; |
728 popd ; |
729 |
729 |
730 ZIP_TARGETS += $(JAVADOC_ARCHIVE) |
730 ZIP_TARGETS += $(JAVADOC_ARCHIVE) |
731 |
731 |
732 ################################################################################ |
732 ################################################################################ |