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