[Docs] Add a more visible tip about //help on the commands page.

2024-12-23 01:37:37 +00:00 · 2019-06-29 10:35:22 -04:00 · 2019-06-29 10:35:22 -04:00 · abbca2ea18
commit abbca2ea18
parent fae44ffaf2
1 changed files with 5 additions and 1 deletions
--- 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("""