diff --git a/Makefile b/Makefile index 2937a245390806a71079dd75310dc4929d73de1f..dd0a533fac9e7b66804cec825d001810f8adad41 100755 --- a/Makefile +++ b/Makefile @@ -190,8 +190,8 @@ webcrawler: cd $(TTOOL_SRC);$(JAR) cmf $(WEBCRAWLER_CLIENT_JAR_TXT) $(TTOOL_BIN)/$(WEBCRAWLER_CLIENT_BINARY) web/crawler/*.class myutil/*.class myutil/*/*.class documentation: - $(JAVADOC) $(CLASSPATH) $(TTOOL_SRC):$(TTOOL_CLASSPATH_BINARY) -d $(TTOOL_DOC_HTML) $(TTOOL_SRC)/*.java $(TTOOL_SRC)/*/*.java $(TTOOL_SRC)/*/*/*.java $(TTOOL_SRC)/fr/inria/oasis/vercors/cttool/model/*.java - cd $(TTOOL_PATH)/doc/document_soclib&&make all + $(JAVADOC) $(CLASSPATH) $(TTOOL_SRC):$(TTOOL_CLASSPATH_BINARY) -d $(TTOOL_DOC_HTML) $(TTOOL_SRC)/*.java $(TTOOL_SRC)/*/*.java $(TTOOL_SRC)/*/*/*.java $(TTOOL_SRC)/fr/inria/oasis/vercors/cttool/model/*.java 2>/dev/null + cd $(TTOOL_PATH)/doc/document_soclib&&make all 2>/dev/null release: jttooljar launcher tiftranslator tmltranslator rundse remotesimulator ttooljar documentation stdrelease @echo release done