Add ignorecase option

[micro.git] / runtime / help / help.md

diff --git a/runtime/help/help.md b/runtime/help/help.md
index 853a00e2b5f12b8198df8a59331ef94e9cd4a577..4a9d113a234dc4bde27f521f93e57361f95c6f65 100644 (file)
--- a/runtime/help/help.md
+++ b/runtime/help/help.md
@@ -182,6 +182,10 @@ Here are the options that you can set:
 
        default value: ` `
 
+* `ignorecase`: perform case-insensitive searches
+
+       default value: `off`
+
 * `syntax`: turns syntax on or off
 
        default value: `on`