From 3642c4e03ee12292285c42de0bb19e1206d23caf Mon Sep 17 00:00:00 2001 From: Zrss Date: Tue, 25 Sep 2018 21:51:05 +0800 Subject: [PATCH] Document --dev-addr instead of --dev_addr (#1638) Fixes #1637. --- docs/user-guide/configuration.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/user-guide/configuration.md b/docs/user-guide/configuration.md index 4f9f7a2b..feee139f 100644 --- a/docs/user-guide/configuration.md +++ b/docs/user-guide/configuration.md @@ -389,7 +389,7 @@ Determines the address used when running `mkdocs serve`. Must be of the format `IP:PORT`. Allows a custom default to be set without the need to pass it through the -`--dev_addr` option every time the `mkdocs serve` command is called. +`--dev-addr` option every time the `mkdocs serve` command is called. **default**: `'127.0.0.1:8000'`