Define here the prefered localization of the Help documentation files.
Source
Indicates whether the Help documentation should be fetched
from the local computer or from a remote (HTTP or FTP) server.
Importing the local documentation is faster, but the remote
documentation might be more recent.
Local
Indicates the path to the local
doc directory where the
GAMGI documentation starts. It is needed only when
Source
is set to
Local.
It is equivalent to create the
GAMGI environment variable, in ~/.bashrc:
GAMGI=/home/carlos/gamgi/gamgi/; export BROWSER
Remote
Indicates the path to the remote
doc directory where the
GAMGI documentation starts. It is needed only when
Source
is set to
Remote. By default, it is
http://www.gamgi.org/.
Other option is
ftp://ftp.gamgi.org/gamgi/.