diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-15 13:06:09 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-15 13:06:09 +0100 |
| commit | b78a59896f8e37d41b41d37e597ae613c39087f5 (patch) | |
| tree | ce0db6c58edb064bfd5e5bd93531c9456701b754 /INSTALL | |
| parent | 20946b933333b0bcf58fd26c9e37c2744031537c (diff) | |
| download | bank-b78a59896f8e37d41b41d37e597ae613c39087f5.tar.gz bank-b78a59896f8e37d41b41d37e597ae613c39087f5.tar.bz2 bank-b78a59896f8e37d41b41d37e597ae613c39087f5.zip | |
updating INSTALL
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -81,6 +81,7 @@ so it should be somewhere known by PATH The installation is done by the usual +$ ./bootstrap.sh $ ./configure # consider to tune at least '--prefix' $ make $ make install |