From b9f52105aec5fe0ffa69bb56229c673d9589ff29 Mon Sep 17 00:00:00 2001 From: wm4 Date: Fri, 28 Aug 2020 19:53:48 +0200 Subject: manpage: slightly improve property list note --- DOCS/man/input.rst | 7 ++++--- 1 file 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 -- cgit v1.2.3