From 4d1f2d989d813ad2e11e34b62af00790c7fe49c0 Mon Sep 17 00:00:00 2001
From: Mathieu Lirzin <mthl@gnu.org>
Date: Sun, 29 Jan 2017 17:55:02 +0100
Subject: [PATCH] maint: Add a pointer to the manual in the README.

* README <Contributing>: Point to the corresponding section in the manual.
---
 README | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README b/README
index 171b040..41883d1 100644
--- a/README
+++ b/README
@@ -54,3 +54,10 @@ To resume the evaluation/build process you can execute the same command
 without the '--specifications' option:
 
   ./pre-inst-env cuirass --database=test.db
+
+Contributing
+============
+
+See the manual for useful hacking informations, by running
+
+  info -f doc/cuirass.info "Contributing"