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
> >>> ?
> >>
> >
>
