Re: CI Pipeline fails (doc / etex fails)

[Paul Eggert]

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
?

test.diff
Description: Text Data