Node:prefix, Next:exec-prefix, Up:Locations
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/comprefix/etc/gnatsman pages
prefix/man
info documents
prefix/info
include files
prefix/include
The default value for prefix is /usr/local, which can
be changed on the command line to configure using
configure --prefix=prefix ...