doc/ffmpeg-codecs.html: doc/codecs.texi
doc/ffmpeg-codecs.html: doc/decoders.texi
doc/ffmpeg-codecs.html: doc/encoders.texi
doc/ffmpeg-codecs.html: doc/authors.texi