Merge branch 'docu' of https://github.com/rdp/FFmpeg