Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails)

[Christian Grothoff]

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