mirror of https://notabug.org/mthl/cuirass.git
maint: Add a pointer to the manual in the README.
* README <Contributing>: Point to the corresponding section in the manual.improve-build-parallelism
parent
abd52046d5
commit
4d1f2d989d
7
README
7
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"
|
||||
|
|
Loading…
Reference in New Issue