[V3 Docs] Added a line break

laggron42 · May 22, 2018 · 1d8b0b7 · 1d8b0b7
1 parent 83f848f
commit 1d8b0b7
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 2 deletions.
diff --git a/docs/.build/html/.doctrees/environment.pickle b/docs/.build/html/.doctrees/environment.pickle
diff --git a/docs/.build/html/.doctrees/say.doctree b/docs/.build/html/.doctrees/say.doctree
diff --git a/docs/.build/html/_sources/say.rst.txt b/docs/.build/html/_sources/say.rst.txt
@@ -102,6 +102,7 @@ him post your messages in the channel. It will also post every message send in t
 you typed the command.
 
 .. tip:: This can be used directly from DM. Then it will be cross-server. 
+
     Just make sure you give an ID as the channel. Giving the channel name can lead to a different server. 
     Get the channel ID by enabling the developer mode (under Appearance section in the Discord user parameters), 
     then right click on the channel and copy the ID.
diff --git a/docs/.build/html/say.html b/docs/.build/html/say.html
@@ -243,8 +243,8 @@ <h3>interact<a class="headerlink" href="#interact" title="Permalink to this head
 <p>you typed the command.</p>
 <div class="admonition tip">
 <p class="first admonition-title">Tip</p>
-<p class="last">This can be used directly from DM. Then it will be cross-server.
-Just make sure you give an ID as the channel. Giving the channel name can lead to a different server.
+<p>This can be used directly from DM. Then it will be cross-server.</p>
+<p class="last">Just make sure you give an ID as the channel. Giving the channel name can lead to a different server.
 Get the channel ID by enabling the developer mode (under Appearance section in the Discord user parameters),
 then right click on the channel and copy the ID.</p>
 </div>

diff --git a/docs/say.rst b/docs/say.rst
@@ -102,6 +102,7 @@ him post your messages in the channel. It will also post every message send in t
 you typed the command.
 
 .. tip:: This can be used directly from DM. Then it will be cross-server. 
+
     Just make sure you give an ID as the channel. Giving the channel name can lead to a different server. 
     Get the channel ID by enabling the developer mode (under Appearance section in the Discord user parameters), 
     then right click on the channel and copy the ID.