Merge pull request #107 from clarus/explicit-opam-file-name-in-readme

Explicit opam file name in the README
formal-land · Dec 15, 2019 · 5d26dee · 5d26dee
2 parents 1184af8 + 9872f64
commit 5d26dee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -61,10 +61,10 @@ opam pin add coq-of-ocaml .
 ```
 
 ### Manually
-Read the `.opam` file at the root of the project to know the dependencies to install and get the list of commands to build the project.
+Read the `coq-of-ocaml.opam` file at the root of the project to know the dependencies to install and get the list of commands to build the project.
 
 ## Usage
-CoqOfOCaml compiles the `.ml` or `.mli` files using [Merlin](https://github.com/ocaml/merlin) to understand the dependencies of a project. One first needs to have a compiled project with a working configuration of Merlin. The basic command is:
+`coq-of-ocaml` compiles the `.ml` or `.mli` files using [Merlin](https://github.com/ocaml/merlin) to understand the dependencies of a project. One first needs to have a compiled project with a working configuration of Merlin. The basic command is:
 ```
 coq-of-ocaml file.ml
 ```