hackdoc: fix pub_listen flag in readme
Change-Id: I5d41fa12f29ec5cff9251bb0ad77fc5fdafef786
diff --git a/devtools/hackdoc/README.md b/devtools/hackdoc/README.md
index 3226cf2..0ee3f7b 100644
--- a/devtools/hackdoc/README.md
+++ b/devtools/hackdoc/README.md
@@ -20,4 +20,4 @@
bazel run //devtools/hackdoc -- -hspki_disable -docroot /path/to/hscloud
-The output log should tell you where hackdoc just started listening at. Currently this is `127.0.0.1:8080` by default. You can change this by passing a `-listen` flag, eg. `-listen 127.0.0.1:4242`.
+The output log should tell you where hackdoc just started listening at. Currently this is `127.0.0.1:8080` by default. You can change this by passing a `-pub_listen` flag, eg. `-pub_listen 127.0.0.1:4242`.