Re: [FFmpeg-devel] [PATCH 5/5] doc: Escape all backslashes needed to be escaped

2015-03-25 Thread Stefano Sabatini
On date Sunday 2015-03-22 20:47:20 -0700, Timothy Gu encoded: No, I do not want to do this, but a user requested it… I think it is time for us to switch to a better documentation format. Fixes #3867. --- doc/developer.texi | 4 ++-- doc/encoders.texi | 4 ++-- doc/faq.texi |

[FFmpeg-devel] [PATCH 5/5] doc: Escape all backslashes needed to be escaped

2015-03-22 Thread Timothy Gu
No, I do not want to do this, but a user requested it… I think it is time for us to switch to a better documentation format. Fixes #3867. --- doc/developer.texi | 4 ++-- doc/encoders.texi | 4 ++-- doc/faq.texi | 8 doc/ffmpeg.texi| 4 ++-- doc/filters.texi | 60