diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -31,6 +31,9 @@ The next step is to specify the install prefix, run $ export PREFIX=$HOME/local # Adapt to your needs. $ ./configure --prefix=$PREFIX +On some Debian systems, the additional flag --enable-debian-system +might be useful to let the --prefix option be correctly executed. + Then the usual GNU-compatible commands, that are $ make install |