Imported Upstream version 8.8.2upstream/8.8.2

1 files changed, 0 insertions, 18 deletions

diff --git a/README.doc b/README.doc
deleted file mode 100644
index 4e72c894..00000000
--- 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)
-