Ken Moffat wrote:
On Wed, May 04, 2016 at 02:17:16AM +0100, Ken Moffat wrote:
And despite those timestamps, the texlive version in /opt is newer:
--- /usr/share/texmf/tex/texinfo/texinfo.tex2016-02-24
10:11:43.909791977 +
+++ /opt/texlive/2015/texmf-dist/tex/texinfo/texinfo.tex
Ken Moffat wrote:
On Tue, May 03, 2016 at 04:17:01PM -0500, Bruce Dubbs wrote:
Mostly for Ken, but if anyone else has any ideas, please feel free to comment.
I'm trying to update ffmpeg. The build is not a problem, but we offer
optional instructions to build pdf and ps docs.
The basic
On Wed, May 04, 2016 at 02:17:16AM +0100, Ken Moffat wrote:
>
> And despite those timestamps, the texlive version in /opt is newer:
> --- /usr/share/texmf/tex/texinfo/texinfo.tex2016-02-24
> 10:11:43.909791977 +
> +++ /opt/texlive/2015/texmf-dist/tex/texinfo/texinfo.tex
> 2016-02-17
Mostly for Ken, but if anyone else has any ideas, please feel free to comment.
I'm trying to update ffmpeg. The build is not a problem, but we offer
optional instructions to build pdf and ps docs.
The basic command is 'texi2pdf -b $DOCNAME.texi' whrere DOCNAME is
something like