From 7e12c382483c4fcbc64456e141c314ff0c101527 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Fri, 10 Nov 2017 12:41:21 +0100
Subject: 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.
---
 README.doc | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 README.doc

diff --git a/README.doc b/README.doc
deleted file mode 100644
index 4e72c894b..000000000
--- 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)
-
-- 
cgit v1.2.3


From 44fb83edea50255a79d083378ad6ee6f98ef58bb Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Fri, 10 Nov 2017 12:41:21 +0100
Subject: Move contributing files to .github/ sub-directory.

The overall goal is to reduce the number of files at the root of the repository.
---
 .github/ISSUE_TEMPLATE.md | 18 ++++++++++++++++++
 ISSUE_TEMPLATE.md         | 18 ------------------
 2 files changed, 18 insertions(+), 18 deletions(-)
 create mode 100644 .github/ISSUE_TEMPLATE.md
 delete mode 100644 ISSUE_TEMPLATE.md

diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md
new file mode 100644
index 000000000..c9cb516cd
--- /dev/null
+++ b/.github/ISSUE_TEMPLATE.md
@@ -0,0 +1,18 @@
+<!-- Thank you for your contribution.
+     Please complete the following information when reporting a bug. -->
+
+#### Version
+
+<!-- You can get this information by running `coqtop -v`. -->
+
+
+#### Operating system
+
+
+#### Description of the problem
+
+<!-- It is helpful to provide enough information so that we can reproduce the bug.
+     In particular, please include a code example which produces it.
+     If the example is small, you can include it here between ``` ```.
+     Otherwise, please provide a link to a repository, a gist (https://gist.github.com)
+     or drag-and-drop a `.zip` archive. -->
diff --git a/ISSUE_TEMPLATE.md b/ISSUE_TEMPLATE.md
deleted file mode 100644
index c9cb516cd..000000000
--- a/ISSUE_TEMPLATE.md
+++ /dev/null
@@ -1,18 +0,0 @@
-<!-- Thank you for your contribution.
-     Please complete the following information when reporting a bug. -->
-
-#### Version
-
-<!-- You can get this information by running `coqtop -v`. -->
-
-
-#### Operating system
-
-
-#### Description of the problem
-
-<!-- It is helpful to provide enough information so that we can reproduce the bug.
-     In particular, please include a code example which produces it.
-     If the example is small, you can include it here between ``` ```.
-     Otherwise, please provide a link to a repository, a gist (https://gist.github.com)
-     or drag-and-drop a `.zip` archive. -->
-- 
cgit v1.2.3