diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-15 11:18:59 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-15 11:18:59 +0000 |
| commit | 167bc341cb3beb884469f0f2dccb8e57bf5be4f3 (patch) | |
| tree | af83c0fa87a525f40cda4564694913c513fec1ad /doc/gf-shell-reference.t2t | |
| parent | 10d79ed05015085b5cf564733c33e635dd3657f2 (diff) | |
Add the commands to the 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 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/gf-shell-reference.t2t b/doc/gf-shell-reference.t2t index 286dd6444..4e27de2e8 100644 --- a/doc/gf-shell-reference.t2t +++ b/doc/gf-shell-reference.t2t @@ -3,6 +3,7 @@ The GF Software System %!style:../css/style.css %!options(html): --toc +%!options(html): --toc-level=4 %!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a> %!postproc(html): "#VSPACE" "<hr>" %!postproc(html): "#NORMAL" "" |