diff options
author | Martin Herkt <lachs0r@srsfckn.biz> | 2016-10-06 21:49:14 +0200 |
---|---|---|
committer | Martin Herkt <lachs0r@srsfckn.biz> | 2016-10-06 21:49:14 +0200 |
commit | c3ae2ff107ab15902e6d0555b5e0d0a17c9af154 (patch) | |
tree | 28cd55de97218642b9b73194fc73b255344d4444 /DOCS | |
parent | ea1b183f4cba4cd525bcaf4879f6139c94046417 (diff) | |
download | mpv-c3ae2ff107ab15902e6d0555b5e0d0a17c9af154.tar.bz2 mpv-c3ae2ff107ab15902e6d0555b5e0d0a17c9af154.tar.xz |
man: fix PDF build
It really doesn’t want to pagebreak that box, so I removed a
useless example.
Diffstat (limited to 'DOCS')
-rw-r--r-- | DOCS/man/af.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/DOCS/man/af.rst b/DOCS/man/af.rst index 31d365722f..4c91b5a9b5 100644 --- a/DOCS/man/af.rst +++ b/DOCS/man/af.rst @@ -401,10 +401,6 @@ Available filters are: ``mpv --af=scaletempo=stride=30:overlap=.50:search=10 media.ogg`` Would tweak the quality and performance parameters. - ``mpv --af=format=float,scaletempo media.ogg`` - Would make scaletempo use float code. Maybe faster on some - platforms. - ``mpv --af=scaletempo=scale=1.2:speed=pitch audio.ogg`` Would play media at 1.2x normal speed, with audio at normal pitch. Changing playback speed would change pitch, leaving audio tempo at |