diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:06:52 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:06:52 +0200 |
commit | 1844f4f31276227d6a4d512f1220e83373ea9498 (patch) | |
tree | 74b690c4b78c0f951a77c67426e42de1946584a9 /README.md | |
parent | df35025b2be4a0dc9aadecc0e3110a21012683cf (diff) |
Move INSTALL.doc into doc/README.md.
This will avoid in particular this ambiguous file extension.
[ci skip]
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -18,7 +18,9 @@ or refer to the [`INSTALL` file](INSTALL) for the procedure to install from sour ## Documentation -The sources of the documentation can be found in directory [`doc`](doc). The +The sources of the documentation can be found in directory [`doc`](doc). +See [`doc/README.md`](/doc/README.md) to learn more about the documentation, +in particular how to build it. The documentation of the last released version is available on the Coq web site at [coq.inria.fr/documentation](http://coq.inria.fr/documentation). See also [Cocorico](https://github.com/coq/coq/wiki) (the Coq wiki), |