From cfce21710dc938c57dc1408c4f025f4a45f95dcb Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 14 Sep 2011 20:39:51 +0000
Subject: [PATCH] Separate commands with <hr> instead of <p> in the GF shell
 reference manual

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

diff --git a/doc/gf-shell-reference.t2t b/doc/gf-shell-reference.t2t
index a1f88ce74..b2cc6071c 100644
--- a/doc/gf-shell-reference.t2t
+++ b/doc/gf-shell-reference.t2t
@@ -3,7 +3,7 @@ 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): "#VSPACE" "<hr>"
 %!postproc(html): "#NORMAL" ""
 %!postproc(html): "#TINY" ""
 %!postproc(html): "#NOINDENT" ""