[FFmpeg-devel] [PATCH] doc: remove all-components.texi, include verbatim its content

[Stefano Sabatini]

On date Wednesday 2013-04-24 18:43:01 +0200, Stefano Sabatini encoded:
> Force re-generation of the manuals when an included file is modified.
> The current dependency generation system is enable to track nested
> inclusions.
> 
> The drawback is that the files will be generated even when there is no
> strict need (for example if filters.texi is modified, ffmpeg.1 is
> rebuilt), thus it trades a false negative with a false positive.
> ---
>  doc/all-components.texi |   31 -------------------------------
>  doc/ffmpeg.texi         |   24 +++++++++++++++++++++++-
>  doc/ffplay.texi         |   24 +++++++++++++++++++++++-
>  doc/ffprobe.texi        |   24 +++++++++++++++++++++++-
>  doc/ffserver.texi       |   24 +++++++++++++++++++++++-
>  5 files changed, 92 insertions(+), 35 deletions(-)
>  delete mode 100644 doc/all-components.texi

Applied with a fix.
-- 
FFmpeg = Fast Fundamentalist Multimedia Portable Ecumenical God