fix README

math-comp · Dec 25, 2016 · b441124 · b441124
1 parent 296e0d1
commit b441124
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -6,7 +6,7 @@ known to work.
 The `coq/` directory contains snippets corresponding to the chapters
 of the book.
 
-The `html/` directory contains the website of the book.
+The `docs/` directory contains the website of the book.
 
 The `artwork/` directory contains the graphics used in the book.