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

[Stefano Sabatini]

On date Tuesday 2010-06-01 16:10:21 +0200, Stefano Sabatini encoded:
> 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.

Applied.
-- 
FFmpeg = Fabulous and Fostering Miracolous Prodigious Eccentric Game