[FFmpeg-devel] [PATCH] Use makeinfo to generate html doc for the new website
michaelni at gmx.at
Thu Jul 24 04:44:13 CEST 2014
On Wed, Jul 23, 2014 at 05:20:10PM -0700, Timothy Gu wrote:
> On Sun, Jul 20, 2014 at 2:26 PM, Timothy Gu <timothygu99 at gmail.com> wrote:
> > 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>
> > ---
> > Removed some now-extraneous settings.
> > configure | 5 +-
> > doc/Makefile | 8 +-
> > doc/platform.texi | 2 +-
> > doc/t2h.init | 123 ------------------------------
> > doc/t2h.pm | 220 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
> > 5 files changed, 226 insertions(+), 132 deletions(-)
> > delete mode 100644 doc/t2h.init
> > create mode 100644 doc/t2h.pm
does this patchset affect how the html output looks ?
also applying this patchset will not affect how our server
generates the html, as it does not execute files from git.
If its intended to also change what the server does, this would need
some volunteer to update the scripts used.
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
Awnsering whenever a program halts or runs forever is
On a turing machine, in general impossible (turings halting problem).
On any real computer, always possible as a real computer has a finite number
of states N, and will either halt in less than N cycles or never halt.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 181 bytes
Desc: Digital signature
More information about the ffmpeg-devel