Commit 778d8930 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

make install in README.

parent 7ada3cbb
......@@ -17,6 +17,10 @@ Run the following command to build the full development:
The development can then be installed as the Coq user contribution `iris' by
make install
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment