# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1510058845 -7200
# Node ID b010c763a1fc7d0b109b292bd52fbc78e77b200a
# Parent  8a559deb8f8071bcd80131e0b8e15550bedfefb3
Document mgtool 'dump' command.

diff -r 8a559deb8f80 -r b010c763a1fc mgtool.php
--- a/mgtool.php	Tue Nov 07 14:41:28 2017 +0200
+++ b/mgtool.php	Tue Nov 07 14:47:25 2017 +0200
@@ -759,8 +759,9 @@
     "    Delete all generated files or selectively cache files or\n".
     "    everything inside thumbnail directories.\n".
     "\n".
-    "  config\n".
-    "    Display configuration values.\n".
+    "  config|dump\n".
+    "    Display configuration values (with extra information) or\n".
+    "    \"dump\" current configuration as is.\n".
     "\n";
 }