diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-06-26 14:52:51 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-26 14:52:51 +0200 |
commit | 7c28b7fa4816dab697f60b397884021ddc081ba2 (patch) | |
tree | 5789665bb704d43985b7b96c41badae4e688bb01 /README.md | |
parent | fb9c581491715c4c34054a744426318a6991c9ed (diff) | |
parent | b89904c3831f1ddc02efb2998c71dcaa0df1d286 (diff) |
Merge PR #7783: Move INSTALL.doc to doc/README.md and improve a few things.
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), |