mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2025-01-24 13:56:33 +02:00
c0237d19a0
* commit 'f187557ab4612776f7f527ecf3d40062975c3e4c': build: more fine-grained dependencies for documentation build tools Conflicts: configure doc/Makefile Merged-by: Michael Niedermayer <michaelni@gmx.at>