source
Indicates whether the Help documentation should be fetched
from the local computer or from a remote (HTTP or FTP) server.
Example: <help source="local"/> (default)
Allowed values: local, remote (optional)
local
Indicates the path to the local
doc directory where the GAMGI documentation starts.
It is needed only when
source is set to
local. This is equivalent to create
the
GAMGI environment variable, containing the same path.
Example: <help local="/home/carlos/gamgi/gamgi"/> (default)
(after defining GAMGI in ~/.bashrc: GAMGI=/home/carlos/gamgi/gamgi; export GAMGI)
Allowed values: 100 ASCII characters maximum (defined in GAMGI_IO_PATHNAME) (optional)
remote
Indicates the path to the remote
doc directory where the GAMGI documentation starts.
It is needed only when
source is set to
remote.
Example: <help remote="http://www.gamgi.org/"/> (default)
(defined in GAMGI_IO_WEBSITE)
Allowed values: 100 ASCII characters maximum (defined in GAMGI_IO_PATHNAME) (optional)