From 3df623c0296cc5d49c7b28eebfc7a6fdc13055c4 Mon Sep 17 00:00:00 2001
From: Dibyendu Majumdar <noemail>
Date: Sun, 29 Dec 2019 00:07:29 +0000
Subject: [PATCH] issue #169 Update doc

---
 readthedocs/ravi-mir-instructions.rst | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

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.