From a21ef5dc792e5fdad303c71a7e7fa671c66bd4a5 Mon Sep 17 00:00:00 2001
From: ruki <waruqi@gmail.com>
Date: Sat, 7 Apr 2018 00:57:39 +0800
Subject: fix pre

---
 zh/manual.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'zh')

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)来设置：
 
-- 
cgit v1.2.3