Next: exec-prefix, Up: Locations [Contents][Index]
prefix corresponds to the variable ‘prefix’ for
configure
, which passes it on to the Makefile it creates.
prefix sets the root installation directory for
host-independent files as follows:
prefix/com
prefix/etc/gnats
man
pagesprefix/man
info
documentsprefix/info
include
filesprefix/include
The default value for prefix is /usr/local, which can
be changed on the command line to configure
using
configure --prefix=prefix …