From ffcddbe5717e38f8205c8b5f368ddb8766dbe477 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 14 Sep 2011 19:43:59 +0000
Subject: Use 'help -full -t2t' to generate the GF Shell reference manual

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

(limited to 'doc/gf-shell-reference.t2t')

diff --git a/doc/gf-shell-reference.t2t b/doc/gf-shell-reference.t2t
index f9fa65cd3..a1f88ce74 100644
--- a/doc/gf-shell-reference.t2t
+++ b/doc/gf-shell-reference.t2t
@@ -3,6 +3,10 @@ The GF Software System
 
 %!style:../css/style.css
 %!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>
+%!postproc(html): "#VSPACE" "<p>"
+%!postproc(html): "#NORMAL" ""
+%!postproc(html): "#TINY" ""
+%!postproc(html): "#NOINDENT" ""
 
 The GF software system implements the GF programming language. Its
 components are
@@ -64,7 +68,7 @@ executed one by one, in the order of appearance.
 The full set of GF shell commands is listed below with explanations. 
 This list can also be obtained in the GF shell by the command ``help -full``.
 
-%!include: ``gf-help-full.txt``
+%!include: gf-help-full.txt
 
 ==The GF batch compiler==
 
-- 
cgit v1.2.3