diff options
| -rw-r--r-- | manual.md | 4 | ||||
| -rw-r--r-- | zh/manual.md | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -2218,9 +2218,9 @@ set_tools { } ``` -<pre class="tip"> +<p class="tip"> 每次设置都会覆盖当前target目标下之前的那次设置，不同target之间不会被覆盖，互相独立，如果在根域设置，会影响所有子target。 -</pre> +</p> 或者可以使用[add_tools](#targetadd_tools)来设置： 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)来设置： |