diff --git a/readthedocs/ravi-mir-instructions.rst b/readthedocs/ravi-mir-instructions.rst
index 264d302..b6dc940 100644
--- a/readthedocs/ravi-mir-instructions.rst
+++ b/readthedocs/ravi-mir-instructions.rst
@@ -1,12 +1,13 @@
 Instructions for Building With MIR JIT support
 ==============================================
 
-Please note that currently MIR JIT support is only available on Linux X86-64 platform.
+Please note that currently `MIR <https://github.com/vnmakarov/mir>`_ JIT support is only available on Linux X86-64 platforms.
 
-Building with MIR support is very simple::
+Building with MIR support is straightforward as MIR is included in Ravi::
 
    mkdir buildmir
-   cmake -DMIR_JIT=ON ..
-   make
+   cd buildmir
+   cmake -DCMAKE_INSTALL_PREFIX=$HOME/ravi -DCMAKE_BUILD_TYPE=Release -G "Unix Makefiles" -DMIR_JIT=ON ..
+   make install
    
 That's it.