[FFmpeg-devel] [PATCH 03/19] Put @ignore-d man page specific trailer at the end of the file.

[Stefano Sabatini]

On date Tuesday 2010-05-04 19:52:02 +0200, Stefano Sabatini encoded:
> This makes the ordering of the sections in the file more consistent
> with that of the final man output.
> ---
>  doc/ffmpeg-doc.texi |   30 +++++++++++++++---------------
>  1 files changed, 15 insertions(+), 15 deletions(-)

Ping. I'll apply in few days if I got no comments.
-- 
FFmpeg = Formidable and Fantastic Magical Powerful Ephemeral Gem