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
52
53
54
55
56
57
58
59
60
|
<?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 Start</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/board.css"/>
</head>
<body>
<div class="board">
<div>Help Start</div><div> </div>
</div>
<div class="contents">
<b>Help->Start</b> provides the basic information to get started.
<p/>
<b>Help->Start</b> may well be the first place where newbies look for help.
For this reason, <b>Help->Start</b> is hard coded directly in GAMGI,
so even if GAMGI cannot find the help files (because the <b>GAMGI_HELP</b>
environment variable was not set or the Help files were not installed),
at least this bit of information is guaranteed to be available.
<p/>
First, it explains how to use the various <b>Help</b> tools available,
<b>Help->Current</b>, <b>Help->Topic</b>, <b>Help->Search</b>
and <b>Help->Tutorial</b>.
<p/>
Then it explains how to set: 1) the <b>GAMGI_HELP</b> environment
variable (pointing to the help documentation files); 2) the
<b>GAMGI_TEXT</b> environment variable (pointing to the TrueType
DejaVu fonts); 3) the <b>BROWSER</b> environment variable (pointing
to the prefered browser).
<p/>
General assistance on how and where to get further information
about GAMGI is then provided. Links to local resources, usually
installed together with the GAMGI code, and global resources,
usually at <a href="http://www.gamgi.org/">http://www.gamgi.org/</a>,
are listed.
</div>
<div id="bottom">
<a href="../../index.shtml">Home</a>
</div>
</body>
</html>
|
