diff options
author | garoto <garoto@users.noreply.github.com> | 2021-01-22 17:48:13 -0300 |
---|---|---|
committer | Jan Ekström <jeebjp@gmail.com> | 2021-01-23 18:24:21 +0200 |
commit | f6a92659fd9db13c486b4455f965a36c439b2daf (patch) | |
tree | da9be42d098e4332cffe80110fd072e7145a4cac /DOCS | |
parent | 51852aad52080ea8bd6f4b72e63e581dd5234d33 (diff) | |
download | mpv-f6a92659fd9db13c486b4455f965a36c439b2daf.tar.bz2 mpv-f6a92659fd9db13c486b4455f965a36c439b2daf.tar.xz |
manpage: fix PDF build
Not clear what exactly makes it fail with this change, but making
the note paragraph added in d5ab5482a9 a note structure seems to fix it.
Diffstat (limited to 'DOCS')
-rw-r--r-- | DOCS/man/options.rst | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 16625fe0c4..bd554a9476 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -392,10 +392,12 @@ Playback Control difference between the two option is that this option performs a seek on loop, instead of reloading the file. - Note that ``--loop-file`` counts the number of times it causes the player to - seek to the beginning of the file, not the number of full playthroughs. This - means ``--loop-file=1`` will end up playing the file twice. Contrast with - ``--loop-playlist``, which counts the number of full playthroughs. + .. note:: + + ``--loop-file`` counts the number of times it causes the player to + seek to the beginning of the file, not the number of full playthroughs. This + means ``--loop-file=1`` will end up playing the file twice. Contrast with + ``--loop-playlist``, which counts the number of full playthroughs. ``--loop`` is an alias for this option. |