summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2017-01-29 17:55:02 +0100
committerMathieu Lirzin <mthl@gnu.org>2017-01-29 17:56:44 +0100
commit4d1f2d989d813ad2e11e34b62af00790c7fe49c0 (patch)
tree7c9e52bd6a8634807f74bc87605e3f795529d263 /README
parentabd52046d5eefe9b7be8bc8ba04b2489cbe59ca5 (diff)
downloadcuirass-4d1f2d989d813ad2e11e34b62af00790c7fe49c0.tar
cuirass-4d1f2d989d813ad2e11e34b62af00790c7fe49c0.tar.gz
maint: Add a pointer to the manual in the README.
* README <Contributing>: Point to the corresponding section in the manual.
Diffstat (limited to 'README')
-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"