From de170f36c9b8e36810126fec82ff9cce2a2af2e7 Mon Sep 17 00:00:00 2001
From: Tej Chajed
Date: Thu, 10 Aug 2017 13:41:32 +0100
Subject: Some more tweaks to contributing guide

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 1ae555d930..7a430ff70e 100644
--- a/README.md
+++ b/README.md
@@ -47,3 +47,7 @@ Send your bug reports by filling a form at [coq.inria.fr/bugs](http://coq.inria.
 To be effective, bug reports should mention the OCaml version used
 to compile and run Coq, the Coq version (`coqtop -v`), the configuration
 used, and include a complete source example leading to the bug.
+
+## Contributing
+
+Guidelines for contributing to Coq in various ways are listed in the [contributor's guide](CONTRIBUTING.md).
-- 
cgit v1.2.3