From f0f73dca177a918369af4167a32daae05f2cbaec Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 14 Sep 2011 20:46:04 +0000
Subject: [PATCH] Include a table of contents in the GF shell reference manual

---
 doc/gf-shell-reference.t2t | 2 ++
 1 file changed, 2 insertions(+)

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