diff options
| author | Maximilian Hils <git@maximilianhils.com> | 2016-06-06 19:08:46 -0700 |
|---|---|---|
| committer | Maximilian Hils <git@maximilianhils.com> | 2016-06-06 19:10:19 -0700 |
| commit | 83f852298132ef6c3757cdc10a34f237a2df33ab (patch) | |
| tree | 891a880b85d8ca06ffb07405464fd0c5745d78b7 /docs/config.rst | |
| parent | 9a1cc166434a505a18e48501d96cb0081601f99e (diff) | |
| download | mitmproxy-83f852298132ef6c3757cdc10a34f237a2df33ab.tar.gz mitmproxy-83f852298132ef6c3757cdc10a34f237a2df33ab.tar.bz2 mitmproxy-83f852298132ef6c3757cdc10a34f237a2df33ab.zip | |
docs: remove option directive
inserting " .. option::" tags create ugly markup, so we just ditch this
entirely and continue using refs.
Diffstat (limited to 'docs/config.rst')
| -rw-r--r-- | docs/config.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/config.rst b/docs/config.rst index 634b8703..ad55baed 100644 --- a/docs/config.rst +++ b/docs/config.rst @@ -62,7 +62,7 @@ Options The options available in the config files are precisely those available as command-line flags, with the key being the option's long name. To get a -complete list of these, use the :option:`--help` option on each of the tools. Be +complete list of these, use the ``--help`` option on each of the tools. Be careful to only specify common options in the **common.conf** file - unsupported options in this file will be detected as an error on startup. @@ -72,7 +72,7 @@ Examples common.conf ^^^^^^^^^^^ -Note that :option:`--port` is an option supported by all tools. +Note that ``--port`` is an option supported by all tools. .. code-block:: none |