Update README.md

snu-sf · Dec 13, 2021 · 58b8d16 · 58b8d16
1 parent 4c65b99
commit 58b8d16
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -13,7 +13,7 @@ Paco also supports upto techniques using "companion".  See:
 
 Minki Cho refactored the implementation to speed up the compilation time.
 
-The current version is v4.1.1, and it's compatible with Coq 8.9 - 8.13.
+The current version is v4.1.2, and it's compatible with Coq 8.11 - 8.14.
 
 
 ## Installation
@@ -25,7 +25,7 @@ opam install coq-paco
 
 # from source
 cd src; make; make install          # for library files
-cd src; make doc; make install-doc  # for documentation
+cd webpage; make                    # for documentation
 ```
 
 ## Examples