diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..57510a2
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+_site/
diff --git a/README b/README
deleted file mode 100644
index 61f041e..0000000
--- a/README
+++ /dev/null
@@ -1,6 +0,0 @@
-http://corn.cs.ru.nl/ automatically links to these files.
-
-You can test this site locally using
-
- jekyll --server <port>
-
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..a57e496
--- /dev/null
+++ b/README.md
@@ -0,0 +1,6 @@
+# CoRN website
+http://corn.cs.ru.nl/ automatically links to these files.
+
+You can test this site locally using:
+
+    jekyll --server <port>
diff --git a/index.html b/index.html
index 4bfba9d..f1f7d83 100644
--- a/index.html
+++ b/index.html
@@ -16,7 +16,7 @@
 <body bgcolor="#FFFFFF" text="#000000">
 <h1 align="center">Coq Repository at Nijmegen</h1>
 
-<p> 
+<p>
 The CoRN library has very roughly been developed in the following stages, chronologically:
 <ul>
 <li>Fundamental Theorem of Algebra and the algebraic hierarchy. (Geuvers, Pollack, Wiedijk and Zwanenburg)</li>
@@ -37,8 +37,14 @@ <h1 align="center">Coq Repository at Nijmegen</h1>
 
 See the publications section for a longer description.<br>
 
-<div align="center"> 
-  <a href="pub.html">[Publications]</a> 
+<h2>Install with OPAM</h2>
+<p>Make sure that you added the <a href="coq.io/opam/">Coq repository</a>:</p>
+<pre>opam repo add coq-released https://coq.inria.fr/opam/released</pre>
+<p>and run:</p>
+<pre>opam install coq-corn</pre>
+
+<div align="center">
+  <a href="pub.html">[Publications]</a>
   <a href="http://github.com/c-corn/corn">[Sources]</a>
   <a href="mailto:c-corn@science.ru.nl">[Contact]</a>
 </body>
