diff options
| author | ruki <waruqi@gmail.com> | 2018-04-07 00:57:39 +0800 |
|---|---|---|
| committer | ruki <waruqi@gmail.com> | 2018-04-06 23:45:54 +0800 |
| commit | a21ef5dc792e5fdad303c71a7e7fa671c66bd4a5 (patch) | |
| tree | fb4a6bf66b8db555ca65f6044dcbdcf3a40b65ea /zh | |
| parent | a6f35065da1a2e13f76acaf00f330167523674a7 (diff) | |
| download | xmake-docs-a21ef5dc792e5fdad303c71a7e7fa671c66bd4a5.tar.gz xmake-docs-a21ef5dc792e5fdad303c71a7e7fa671c66bd4a5.zip | |
fix pre
Diffstat (limited to 'zh')
| -rw-r--r-- | zh/manual.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/zh/manual.md b/zh/manual.md index 8189bd38..04fdf56d 100644 --- a/zh/manual.md +++ b/zh/manual.md @@ -2238,9 +2238,9 @@ set_tools { } ``` -<pre class="tip"> +<p class="tip"> 每次设置都会覆盖当前target目标下之前的那次设置，不同target之间不会被覆盖，互相独立，如果在根域设置，会影响所有子target。 -</pre> +</p> 或者可以使用[add_tools](#targetadd_tools)来设置： |