Commit 4674285a authored by Armaël Guéneau's avatar Armaël Guéneau

Remove the link, since online display of doc.html does not work

parent c656bbc2
......@@ -41,7 +41,7 @@ coqide Tuto_proof.v
Documentation
============
Some documentation can be found in [doc/doc.html](doc/doc.html).
Some documentation can be found in doc/doc.html.
Note that it is currently somewhat outdated and needs updating.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment