@Paul
The error says
"/home/oms/src/libmicrohttpd/doc/gpl-2.0.texi:286: This command can
appear only outside of any environment, not in environment @enumerate."
Line 286 is
@heading NO WARRANTY
$ grep -n enumerate gpl-2.0.texi
67:@enumerate 0
104:@enumerate a
126:@end enumerate
153:@enumerate a
173:@end enumerate
314:@end enumerate
As you can see L67-L314 is an enumerate, where L286 (@heading) is enclosed.
So it looks like a problem in gpl-2.0.texi (or in the texi2dvi command
chain). Any ideas ?
Regards, Tim
On 10/18/19 9:54 AM, Tim Rühsen wrote:
> Hi Christian,
>
> I can even reproduce on Debian unstable:
>
> ./bootstrap
> ./configure
> make
> cd doc
> make dvi
>
> Regards, Tim
>
> On 10/17/19 3:11 PM, Christian Grothoff wrote:
>> 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.
>>>
>>> @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
