diff options
Diffstat (limited to 'doc/usage.mdwn')
-rw-r--r-- | doc/usage.mdwn | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/usage.mdwn b/doc/usage.mdwn index c30d799fd..eac72cdc7 100644 --- a/doc/usage.mdwn +++ b/doc/usage.mdwn @@ -172,11 +172,6 @@ These options configure the wiki. Enables the use of the specified plugin in the wiki. See [[plugins]] for details. Note that plugin names are case sensative. -* --hyperestraier - - Enables use of the [[HyperEstraier]] search engine for full test page - searches. - * --verbose Be vebose about what is being done. |