diff --git a/Makefile b/Makefile index 47bc1fca28396fd3bb23e0af0b841da655ef93db..2f418d15c348076eb4cf8d3886a6f94b3a959781 100755 --- a/Makefile +++ b/Makefile @@ -93,7 +93,7 @@ RELEASE_STD_FILES_WINDIWS_EXE = ttool_windows.bat RELEASE_STD_FILES_XML = manual-HW.xml DrinkMachineV10.xml WebV01.xml Protocol_example1.xml BasicExchange.xml SmartCardProtocol.xml ProtocolPatterns.xml COCOME_V50.xml CoffeeMachine_Avatar.xml Network_Avatar.xml MicroWaveOven_SafetySecurity_fullMethodo.xml RELEASE_STD_FILES_LIB = TClock1.lib TTimerv01.lib -RELEASE_STD_FILES_BIN = $(LAUNCHER_BINARY) $(TTOOL_BINARY) $(TIFTRANSLATOR_BINARY) $(TMLTRANSLATOR_BINARY) $(REMOTESIMULATOR_BINARY) $(RUNDSE_BINARY) +RELEASE_STD_FILES_BIN = $(LAUNCHER_BINARY) $(TTOOL_BINARY) $(TIFTRANSLATOR_BINARY) $(TMLTRANSLATOR_BINARY) $(REMOTESIMULATOR_BINARY) $(RUNDSE_BINARY) $(WEBCRAWLER_SERVER_BINARY) $(WEBCRAWLER_CLIENT_BINARY) RELEASE_STD_FILES_LICENSES = LICENSE LICENSE_CECILL_ENG LICENSE_CECILL_FR TEST_DIR = $(TTOOL_PATH)/tests diff --git a/bin/webcrawler-server.jar b/bin/webcrawler-server.jar deleted file mode 100644 index b398962e143448a7835c3b0cdcecbf5e1775669e..0000000000000000000000000000000000000000 Binary files a/bin/webcrawler-server.jar and /dev/null differ