[FFmpeg-devel] [PATCH] doc/filters: remove references to external documents

Stefano Sabatini stefasab at gmail.com
Sun Dec 16 22:20:53 CET 2012


On date Sunday 2012-12-16 16:07:20 -0500, Derek Buitenhuis encoded:
> On 16/12/2012 3:50 PM, Stefano Sabatini wrote:
> > Not really, since this is meant to be generated for both MAN and HTML
> > output. I could reference an HTML url from the manual page, but
> > considering that the linked documentation should be installed as a MAN
> > page, this would be a bit silly.
> 
> Does whatever converts to MAN not handle @url properly (i.e. just take the
> text, drop URL info)?

No you need an indexing system for that, our tools just convert one
file from a format to another (texi -> POD -> MAN, texi -> HTML), and
they have no global knowledge, so can't interpret internal references
(an url is an url, while we want to reference another internal
document).
-- 
FFmpeg = Fantastic Fancy Meaningless Picky Embarassing Glue


More information about the ffmpeg-devel mailing list