diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/README.md | 2 | ||||
| -rw-r--r-- | docs/manual.md | 2 | ||||
| -rw-r--r-- | docs/plugins.md | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/docs/README.md b/docs/README.md index 75b13c5d7..2836cfc08 100644 --- a/docs/README.md +++ b/docs/README.md @@ -1,5 +1,5 @@ --- -search: english +search: en --- # A make-like build utility based on Lua diff --git a/docs/manual.md b/docs/manual.md index 4386fdf74..bf6d73a4f 100644 --- a/docs/manual.md +++ b/docs/manual.md @@ -1,5 +1,5 @@ --- -search: english +search: en --- ## Condition diff --git a/docs/plugins.md b/docs/plugins.md index 9966f7b22..bbeb90f46 100644 --- a/docs/plugins.md +++ b/docs/plugins.md @@ -1,5 +1,5 @@ --- -search: english +search: en --- ## Plugin Development |