aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README7
1 files changed, 7 insertions, 0 deletions
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"