From 58b8d1637a5fd0f2a6878402bb25a6c1e830c61d Mon Sep 17 00:00:00 2001
From: Minki Cho <minki.cho@sf.snu.ac.kr>
Date: Mon, 13 Dec 2021 16:59:36 +0900
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 63c6639..4a51d80 100644
--- 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