[FFmpeg-devel] [PATCH] 5 patches from the Debian packaging

[Andreas Cadhalpun]

On 08.03.2014 20:57, Timothy Gu wrote:
>  From doc/t2h.init. Another thing i noticed is that makeinfo doesn't seem to
> support texi2html init files, which FFmpeg uses for lots of things
> including CSS and title. Although makeinfo has --init-file option, the
> syntax of that is not documented anywhere, unlike texi2html.

Indeed it seems that makeinfo completely ignores the init file. The 
output is the same without the --init-file option.

Unless you have a better idea, I'm going to file a bug against texinfo.