[ivette|Makefile] Just a style detail on the command to run.

ivette/Makefile

 # --------------------------------------------------------------------------
 APP=Ivette
 DOME=./src/dome
-DOME_ARGS=--command ./$$(dirname $$0)/../../bin/frama-c
+DOME_ARGS=--command $$(dirname $$0)/../../bin/frama-c
 DOME_DEV=-server-debug 1
 DOME_CLI=./bin/frama-c-gui
 DOME_API=./src/frama-c

ivette/src/dome/template/makefile

@@ -296,10 +296,10 @@ dome-dev: dome-pkg dome-templ dome-export-dev
 	@echo "#!/bin/sh" >> $(DOME_CLI)
 	@echo "export DOME='$(DOME)'" >> $(DOME_CLI)
 	@echo "export DOME_ENV='dev'" >> $(DOME_CLI)
-	@echo 'exec $(DOME_MK_BIN)/electron-webpack dev "$$@"' >> $(DOME_CLI)
+	@echo 'exec $(DOME_MK_BIN)/electron-webpack dev $(DOME_ARGS) $(DOME_DEV) "$$@"' >> $(DOME_CLI)
 	@chmod 555 $(DOME_CLI)
 	@echo "[Dome] running application (development)"
-	@$(DOME_CLI) $(DOME_ARGS) $(DOME_DEV)
+	@$(DOME_CLI)
 
 # --------------------------------------------------------------------------
 # ---  Application Building