Move tip to a tip directive

wouterj · wouterj · commit 7cd7ea86dbf1 · 2016-10-21T00:31:46.000+02:00
diff --git a/debug/debugging.rst b/debug/debugging.rst
@@ -83,5 +83,7 @@ that can help you visualize and find the information.
     fallback translation for all known messages, if translations exist for
     the given locale.
 
-When in doubt how to use a console command, open the help section by appending
-the ``--help`` option.
+.. tip::
+
+    When in doubt how to use a console command, open the help section by
+    appending the ``--help`` option.
