diff options
-rw-r--r-- | README.md | 4 | ||||
-rw-r--r-- | doc/README.md (renamed from INSTALL.doc) | 2 |
2 files changed, 4 insertions, 2 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), diff --git a/INSTALL.doc b/doc/README.md index 13e6440d0..c47f9f48a 100644 --- a/INSTALL.doc +++ b/doc/README.md @@ -62,7 +62,7 @@ To produce all documentation about Coq, just run: Alternatively, you can use some specific targets: make doc-ps - to produce all PostScript documents + to produce all PostScript documents make doc-pdf to produce all PDF documents |