doc/ffmpeg-protocols.html: doc/protocols.texi
doc/ffmpeg-protocols.html: doc/authors.texi