mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
Separate commands with <hr> instead of <p> in the GF shell reference manual
This commit is contained in:
@@ -3,7 +3,7 @@ The GF Software System
|
|||||||
|
|
||||||
%!style:../css/style.css
|
%!style:../css/style.css
|
||||||
%!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>
|
%!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): "#NORMAL" ""
|
||||||
%!postproc(html): "#TINY" ""
|
%!postproc(html): "#TINY" ""
|
||||||
%!postproc(html): "#NOINDENT" ""
|
%!postproc(html): "#NOINDENT" ""
|
||||||
|
|||||||
Reference in New Issue
Block a user