1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en">
<head>
<title>GAMGI Interfaces: Help Config</title>
<link rel="icon" type="image/png" href="../../icon/gamgi16.png"/>
<link rel="stylesheet" type="text/css" href="../../css/base.css"/>
<link rel="stylesheet" type="text/css" href="../../css/notebook.css"/>
</head>
<body>
<h1>Help Config</h1>
<div id="notebook">
<ul>
<li><a href="config_source.html">Source</a></li>
<li><span>Agent</span></li>
</ul>
</div>
<div class="contents">
Define here the prefered application to show the Help documentation files.
<h3>Agent</h3>
Indicates whether the Help documentation should be presented using
GAMGI or an external browser. GAMGI is faster and needs less memory,
but the browser provides a fancier presentation.
<h3>Browser</h3>
Sets the path to the prefered browser executable. This is needed only
when <b>Agent</b> is set to <b>Browser</b>. It is equivalent to define
the <b>BROWSER</b> environment variable, in ~/.bashrc:
<pre>
<b>BROWSER=/usr/bin/firefox; export BROWSER</b>
</pre>
</div>
<div id="bottom">
<a href="../../index.shtml">Home</a>
</div>
</body>
</html>
|
