diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-14 20:46:04 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-14 20:46:04 +0000 |
| commit | 927c8c06783986afba7f9f2733c9ae7782aa3ab4 (patch) | |
| tree | 4bfcce03ed56ea23e203cd9eecc875d6ddc38397 /doc/gf-shell-reference.t2t | |
| parent | 584c31bc626fb69fb7680a5cddc21cf26e186c2a (diff) | |
Include a table of contents in the GF shell reference manual
Diffstat (limited to 'doc/gf-shell-reference.t2t')
| -rw-r--r-- | doc/gf-shell-reference.t2t | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/gf-shell-reference.t2t b/doc/gf-shell-reference.t2t index b2cc6071c..286dd6444 100644 --- a/doc/gf-shell-reference.t2t +++ b/doc/gf-shell-reference.t2t @@ -2,6 +2,7 @@ The GF Software System %!style:../css/style.css +%!options(html): --toc %!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a> %!postproc(html): "#VSPACE" "<hr>" %!postproc(html): "#NORMAL" "" @@ -23,6 +24,7 @@ executing user commands by calling the compiler and the run-time system This page describes the commands of the GF shell, as well as the use of the compiler in batch mode. +%%toc ==The GF shell== |