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"