diff options
Diffstat (limited to 'doc_src/if.txt')
-rw-r--r-- | doc_src/if.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/if.txt b/doc_src/if.txt index fca3ecf0..32a1bc3d 100644 --- a/doc_src/if.txt +++ b/doc_src/if.txt @@ -1,4 +1,4 @@ -\section if if - Conditionally execute a command +\section if if - conditionally execute a command \subsection if-synopsis Synopsis <tt>if CONDITION; COMMANDS_TRUE...; [else; COMMANDS_FALSE...;] end</tt> |