Fix makefile

diff --git a/mcs/tools/mdoc/Makefile b/mcs/tools/mdoc/Makefile
index da21af57de2d45c78cf973c589ec45ace1b43dcf..46a8878df177a2bc77b69e18e1b9bfb5169b1090 100644 (file)
--- a/mcs/tools/mdoc/Makefile
+++ b/mcs/tools/mdoc/Makefile
@@ -67,7 +67,7 @@ $(PROGRAM) : Makefile
 
 MONO = \
        MONO_PATH="$(topdir)/class/lib/net_2_0$(PLATFORM_PATH_SEPARATOR)$$MONO_PATH" \
-       /home/jbevain/sources/mono/mono/mini/mono $(RUNTIME_FLAGS)
+       $(RUNTIME) $(RUNTIME_FLAGS)
 
 dist-local: dist-default dist-tests