diff --git a/ivette/Makefile b/ivette/Makefile
index 445faaa50b259ddefc243770b8f4542b13d2be2c..88a7789a773966897b01070db15399fcb2efffff 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -1,10 +1,10 @@
 # --------------------------------------------------------------------------
 APP=Ivette
-DOME=src/dome
-DOME_ARGS=--command ../bin/frama-c
+DOME=./src/dome
+DOME_ARGS=--command ./$$(dirname $$0)/../../bin/frama-c
 DOME_DEV=-server-debug 2
-DOME_CLI=bin/frama-c-gui
-DOME_API=src/frama-c
+DOME_CLI=./bin/frama-c-gui
+DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
diff --git a/ivette/src/dome/template/makefile b/ivette/src/dome/template/makefile
index d2875074a8c54f6e652187f8a9218680aafab9eb..446fba992c4ca8df9c3cba34ba7f36285fc39cd3 100644
--- a/ivette/src/dome/template/makefile
+++ b/ivette/src/dome/template/makefile
@@ -15,8 +15,8 @@ DOME_DEV_ARGS?=
 DOME_APP_ARGS?=
 DOME_EXPORTS?=
 DOME_PLUGINS?=
-DOME_CLI?=bin/$(DOME_MK_NAME)
-DOME_DOC?=doc/html
+DOME_CLI?=./bin/$(DOME_MK_NAME)
+DOME_DOC?=./doc/html
 DOME_API?=
 
 # --------------------------------------------------------------------------