diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-14 20:39:51 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-14 20:39:51 +0000 |
| commit | 584c31bc626fb69fb7680a5cddc21cf26e186c2a (patch) | |
| tree | 8b9e1502d57bca55981c84a2d134d217d2010536 | |
| parent | c99ae66061d42cb0473dbbec6a988aef84c93a22 (diff) | |
Separate commands with <hr> instead of <p> in the GF shell reference manual
| -rw-r--r-- | doc/gf-shell-reference.t2t | 2 |
1 files changed, 1 insertions, 1 deletions
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" "" |