summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorgaroto <garoto@users.noreply.github.com>2021-01-22 17:48:13 -0300
committerJan Ekström <jeebjp@gmail.com>2021-01-23 18:24:21 +0200
commitf6a92659fd9db13c486b4455f965a36c439b2daf (patch)
treeda9be42d098e4332cffe80110fd072e7145a4cac
parent51852aad52080ea8bd6f4b72e63e581dd5234d33 (diff)
downloadmpv-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.
-rw-r--r--DOCS/man/options.rst10
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.