diff options
Diffstat (limited to 'doc/_templates/index.html')
| -rw-r--r-- | doc/_templates/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/_templates/index.html b/doc/_templates/index.html index 2accb5d2..a92815e2 100644 --- a/doc/_templates/index.html +++ b/doc/_templates/index.html @@ -15,6 +15,8 @@ <span class="linkdescr">describes the type system variables that could be used in user custom code</span></p> <p class="biglink"><a class="biglink" href="{{ pathto("codeinjectionsemantics") }}">Code Injection Semantics</a><br/> <span class="linkdescr">explains how custom code injection is interpreted by {{ project }}</span></p> + <p class="biglink"><a class="biglink" href="{{ pathto("commandlineoptions") }}">Command line options</a><br/> + <span class="linkdescr">explains the few flags used to change {{ project }} behaviour</span></p> </td> <td width="50%"> <p class="biglink"><a class="biglink" href="{{ pathto("sequenceprotocol") }}">Sequence Protocol</a><br/> |