diff options
| author | ruki <[email protected]> | 2017-02-13 22:42:59 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-02-13 22:42:59 +0800 |
| commit | f7eaf51c4cad7d94989e130de2172df2cbc74193 (patch) | |
| tree | 71436cd40bc3766d13165969025fc95bd7bb24f2 /docs | |
| parent | a2b7b07658824d024f8d54bc73f4687c34179e49 (diff) | |
add source batches for building
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 |