From abbca2ea1890d705b3d3ee6ee5a0cbaab0285694 Mon Sep 17 00:00:00 2001
From: wizjany <wizjany@gmail.com>
Date: Sat, 29 Jun 2019 10:35:22 -0400
Subject: [PATCH] [Docs] Add a more visible tip about //help on the commands
 page.

---
 .../sk89q/worldedit/internal/util/DocumentationPrinter.kt   | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/worldedit-core/doctools/src/main/kotlin/com/sk89q/worldedit/internal/util/DocumentationPrinter.kt b/worldedit-core/doctools/src/main/kotlin/com/sk89q/worldedit/internal/util/DocumentationPrinter.kt
index 167d0cb345..d01020439e 100644
--- a/worldedit-core/doctools/src/main/kotlin/com/sk89q/worldedit/internal/util/DocumentationPrinter.kt
+++ b/worldedit-core/doctools/src/main/kotlin/com/sk89q/worldedit/internal/util/DocumentationPrinter.kt
@@ -144,9 +144,13 @@ Commands
 .. contents::
     :local:
 
-.. tip::
+.. note::
 
     Arguments enclosed in ``[ ]`` are optional, those enclosed in ``< >`` are required.
+
+.. tip::
+
+    You can access a command listing in-game via the ``//help`` command.
 """.trim())
 
         permsOutput.appendln("""