[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails)
From: |
Christian Grothoff |
Subject: |
Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails) |
Date: |
Thu, 17 Oct 2019 15:11:46 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
I downloaded an Ubuntu 18.04.3 LTS VM image, installed the required
packages (including texlive 2017 and texinfo 6.5) and it _still_ works
for me. I did try the texi2dvi command and others.
Tim: So sorry, but I cannot reproduce the problem.
Paul: I also completely fail to comprehend the error message and how it
would point to an issue in libmicrohttpd.texi. But if it doesn't reflect
an issue in gpl-2.0.texi, I guess you're off the hook ;-).
Happy hacking!
Christian
On 10/13/19 9:14 PM, Paul Eggert wrote:
> On 10/13/19 9:01 AM, Christian Grothoff wrote:
>> I suspect what you discovered could be a bug in gnulib when
>> the license file is used against some particular (maybe very recent)
>> texinfo installation/version.
>
> I see the problem on Ubuntu 18.04.3 LTS which has GNU texinfo 6.5 and
> TeX Live 2017/Debian. It's due to a bug in libmicrohttpd.texi that is
> unrelated to Gnulib's gpl-2.0.texi. If I install the attached patch,
> "make dvi" outputs the following diagnostics. I suggest getting an
> appropriate texinfo and TeX Live to debug this.
>
> make[2]: Entering directory '/home/eggert/junk/d/libmicrohttpd/doc'
> TEXINPUTS="../build-aux:$TEXINPUTS" \
> MAKEINFO='/bin/bash /home/eggert/junk/d/libmicrohttpd/build-aux/missing
> makeinfo -I .' \
> texi2dvi --build-dir=libmicrohttpd.t2d -o libmicrohttpd.dvi \
> libmicrohttpd.texi
> This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian)
> (preloaded format=etex)
> restricted \write18 enabled.
> entering extended mode
> (../../../.././libmicrohttpd.texi
> (/home/eggert/junk/d/libmicrohttpd/build-aux/texinfo.tex
> Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
> page headings, tables, conditionals, indexing, sectioning, toc,
> environments,
> defuns, macros, cross references, insertions,
> (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
> This is `epsf.tex' v2.7.4 <14 February 2011>
> ) localization, formatting, and turning on texinfo input format.)
> (./libmicrohttpd.aux)
> Runaway argument?
> {microhttpd-optio
> ../../../.././libmicrohttpd.texi:2: File ended while scanning use of
> @xrdef.
> <inserted text>
> @par
> @readdatafile ...etupdatafile @input @jobname .#1
> @endgroup
> @tryauxfile ... @ifeof 1 @else @readdatafile {aux}
> @global @havexrefstrue
> @fi...
>
> @setfilename ->@fixbackslash @iflinks @tryauxfile
> @immediate @openout
> @auxfi...
> l.2 @setfilename
> libmicrohttpd.info
> ?
signature.asc
Description: OpenPGP digital signature