[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