texi2dvi (GNU Texinfo 6.7) texinfo 6.7.0.dfsg.2-5 Here, the 'make dvi' output starts with some more version numbers, possibly relevant:
##############
$ make dvi
Making dvi in .
make[1]: Entering directory '/home/oms/src/libmicrohttpd/doc'
TEXINPUTS="../build-aux:$TEXINPUTS" \
MAKEINFO='/bin/bash /home/oms/src/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.20 (TeX Live 2019/Debian)
(preloaded format=etex)
restricted \write18 enabled.
entering extended mode
(../../../.././libmicrohttpd.texi
(/home/oms/src/libmicrohttpd/doc/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>
##############
On 10/18/19 10:33 AM, ng0 wrote:
> Which texi2dvi version is this?
>
> With pkgsrc using texi2dvi (GNU Texinfo 6.5) 7906
> I can not reproduce this.
>
> It's worth noting that gpl.texi (the gpl3) ommits the
> @heading item where it causes problems and just makes it an @item.
>
> I think this issue is with an older texinfo version + older texi2dvi version,
> my base system has version 4.8, I could probably try and reproduce it
> with this.
>
> Tim Rhsen transcribed 6.5K bytes:
>> @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.
>>>>> <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
