diff options
| author | Théo Zimmermann | 2017-11-10 12:41:21 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-11-13 21:16:56 +0100 |
| commit | 7e12c382483c4fcbc64456e141c314ff0c101527 (patch) | |
| tree | 009492b88b24eccf82bea8372a6cad44956d2425 | |
| parent | d9f79d97dbc503e149cba2df1b228a94d7ac970b (diff) | |
Remove useless file README.doc.
This file is useless because all the information it contains is also in INSTALL.doc.
The overall goal is to reduce the number of files at the root of the repository.
| -rw-r--r-- | README.doc | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/README.doc b/README.doc deleted file mode 100644 index 4e72c894bb..0000000000 --- a/README.doc +++ /dev/null @@ -1,18 +0,0 @@ - The Coq documentation - ===================== - -The Coq documentation includes: - -- a reference manual; -- a generic tutorial on Coq; -- a tutorial on recursive types; -- a document presenting the Coq standard library; -- a list of questions/answers in the FAQ style - -All these documents are available online from the Coq official site -(http://coq.inria.fr), either as PS/PDF files or as HTML documents. - -The sources of the documentation are available along with the sources -of the Coq proof assistant. It is released under the Open Publication -License (see file doc/LICENSE in the sources of Coq) - |