From 40c0d0cf545ce2b2390a3f0e51b23eb848a4c2f4 Mon Sep 17 00:00:00 2001 From: Marcello Stanisci Date: Tue, 17 Oct 2017 13:06:13 +0200 Subject: README --- README | 3 +++ 1 file changed, 3 insertions(+) (limited to 'README') diff --git a/README b/README index 7c5d3e4..dbf4e8a 100644 --- a/README +++ b/README @@ -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 -- cgit v1.2.3