mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-26 00:43:17 -06:00
Add the commands to the table of contents in the GF shell reference manual
This commit is contained in:
1 parent
10d79ed050
commit
167bc341cb
2 files changed
+41
No files matched your search
@@ -3,6 +3,7 @@ The GF Software System
|
||||
|
||||
%!style:../css/style.css
|
||||
%!options(html): --toc
|
||||
%!options(html): --toc-level=4
|
||||
%!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>
|
||||
%!postproc(html): "#VSPACE" "<hr>"
|
||||
%!postproc(html): "#NORMAL" ""
|
||||
|
||||
Reference in new issue
Block a user