diff options
| -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== |