diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/minetest.6 | 2 | ||||
| -rw-r--r-- | doc/minetestserver.6 | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/minetest.6 b/doc/minetest.6 index 0d6433f29..b3fdd94d9 100644 --- a/doc/minetest.6 +++ b/doc/minetest.6 @@ -41,7 +41,7 @@ Show allowed options Set logfile path (debug.txt) .TP \-\-map\-dir <value> -Same as --world (deprecated) +Same as \-\-world (deprecated) .TP \-\-name <value> Set player name diff --git a/doc/minetestserver.6 b/doc/minetestserver.6 index 81203954d..93c354e79 100644 --- a/doc/minetestserver.6 +++ b/doc/minetestserver.6 @@ -35,7 +35,7 @@ Show allowed options Set logfile path (debug.txt) .TP \-\-map\-dir <value> -Same as --world (deprecated) +Same as \-\-world (deprecated) .TP \-\-port <value> Set network port (UDP) to use |