summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorwm4 <wm4@nowhere>2020-08-28 19:53:48 +0200
committerwm4 <wm4@nowhere>2020-08-28 19:53:48 +0200
commitb9f52105aec5fe0ffa69bb56229c673d9589ff29 (patch)
tree4c49a583563e87dcadd871a196cf724a67fda768
parent91ce87bd89940b8b83d1bd044288008182cf3a2e (diff)
downloadmpv-b9f52105aec5fe0ffa69bb56229c673d9589ff29.tar.bz2
mpv-b9f52105aec5fe0ffa69bb56229c673d9589ff29.tar.xz
manpage: slightly improve property list note
-rw-r--r--DOCS/man/input.rst7
1 files changed, 4 insertions, 3 deletions
diff --git a/DOCS/man/input.rst b/DOCS/man/input.rst
index 1be069306e..98785141af 100644
--- a/DOCS/man/input.rst
+++ b/DOCS/man/input.rst
@@ -1737,9 +1737,10 @@ Property list
.. note::
Most options can be set as runtime via properties as well. Just remove the
- leading ``--`` from the option name. These are not documented. Only
- properties which do not exist as option with the same name, or which have
- very different behavior from the options are documented below.
+ leading ``--`` from the option name. These are not documented below, see
+ `OPTIONS`_ instead. Only properties which do not exist as option with the
+ same name, or which have very different behavior from the options are
+ documented below.
``audio-speed-correction``, ``video-speed-correction``
Factor multiplied with ``speed`` at which the player attempts to play the