[FFmpeg-devel] [PATCH 1/3] Use makeinfo to generate html doc for the new website

Timothy Gu timothygu99 at gmail.com
Sun Jul 20 19:05:22 CEST 2014


On Sun, Jul 20, 2014 at 10:02 AM, Timothy Gu <timothygu99 at gmail.com> wrote:
> Andreas,
>
>> Could somebody please add the source of the minified style.min.css?
>
> That is in the ffmpeg-web repo. All modifications to the CSS should be
> done there then backported here.
>
> ---8<---
> texi2html is deprecated by upstream in favor of makeinfo/texi2any. See:
>
> - https://www.gnu.org/software/texinfo/manual/texinfo/html_node/texi2html.html
> - https://wiki.debian.org/Texi2htmlTransition
> - https://lists.debian.org/debian-devel/2013/05/msg01516.html
>
> This is actually two separate changes. But as makeinfo and texi2html
> adopt 2 (very) different init file syntaxes, it is easier to do the two
> transitions at once.
>
> Based on a patch by Andreas Cadhalpun <Andreas.Cadhalpun at googlemail.com>.
>
> Fixes Trac ticket #3232.
>
> Signed-off-by: Timothy Gu <timothygu99 at gmail.com>
> ---
>  configure         |   5 +-
>  doc/Makefile      |   8 +--
>  doc/platform.texi |   2 +-
>  doc/t2h.init      | 123 ----------------------------------
>  doc/t2h.pm        | 194 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
>  5 files changed, 200 insertions(+), 132 deletions(-)
>  delete mode 100644 doc/t2h.init
>  create mode 100644 doc/t2h.pm

Sorry for breaking the thread. Forgot to --in-reply-to=

[...]

Timothy


More information about the ffmpeg-devel mailing list