* Re: CI Pipeline fails (doc / etex fails) [not found] <f6bb3864-e5b1-e1a1-97c2-3d2025226759@gmx.de> @ 2019-10-13 16:01 ` Christian Grothoff 2019-10-13 19:14 ` Paul Eggert 0 siblings, 1 reply; 6+ messages in thread From: Christian Grothoff @ 2019-10-13 16:01 UTC (permalink / raw) To: Tim Rühsen, bug-gnulib; +Cc: libmicrohttpd [-- Attachment #1.1: Type: text/plain, Size: 1929 bytes --] Dear Tim, The error you are quoting is triggered by gpl-2.0.texi, which we copied 1:1 from gnulib (and is current). The problem also does not arise on my system, so 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. Hence I'm forwarding this to bug-gnulib, as it should be fixed there first (if at all). Dear gnulib bug hunters, the relevant output from Tim's CI setup is: /builds/libmicrohttpd/libmicrohttpd/libmicrohttpd-0.9.66/doc/gpl-2.0.texi [62] [63] [64] [65] /builds/libmicrohttpd/libmicrohttpd/libmicrohttpd-0.9.66/doc/gpl-2.0.texi:286: This command can appear only outside of any environment, not in environment @en umerate. @badenverr ...temp , not @inenvironment @thisenv } @checkenv ...@ifx @thisenv @temp @else @badenverr @fi @sectionheading #1#2#3#4->{@checkenv {} @csname #2fonts@endcsname @rmisbold @... @\heading ...tionheading {#1}{sec}{Yomitfromtoc}{} @suppressfirstparagraphin... l.286 @heading NO WARRANTY ? /builds/libmicrohttpd/libmicrohttpd/libmicrohttpd-0.9.66/doc/gpl-2.0.texi:286: Emergency stop. @badenverr ...temp , not @inenvironment @thisenv } @checkenv ...@ifx @thisenv @temp @else @badenverr @fi @sectionheading #1#2#3#4->{@checkenv {} @csname #2fonts@endcsname @rmisbold @... @\heading ...tionheading {#1}{sec}{Yomitfromtoc}{} @suppressfirstparagraphin... l.286 @heading NO WARRANTY Please let me know if you have a resolution to the problem! Happy hacking! Christian On 10/13/19 2:59 PM, Tim Rühsen wrote: > Please have a look at > > https://gitlab.com/libmicrohttpd/libmicrohttpd/-/jobs/319336621 > > Regards, Tim > [-- Attachment #2: OpenPGP digital signature --] [-- Type: application/pgp-signature, Size: 833 bytes --] ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: CI Pipeline fails (doc / etex fails) 2019-10-13 16:01 ` CI Pipeline fails (doc / etex fails) Christian Grothoff @ 2019-10-13 19:14 ` Paul Eggert 2019-10-17 13:11 ` [libmicrohttpd] " Christian Grothoff 0 siblings, 1 reply; 6+ messages in thread From: Paul Eggert @ 2019-10-13 19:14 UTC (permalink / raw) To: Christian Grothoff; +Cc: libmicrohttpd, Tim Rühsen, bug-gnulib [-- Attachment #1: Type: text/plain, Size: 2029 bytes --] 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 ? [-- Attachment #2: test.diff --] [-- Type: text/x-patch, Size: 718 bytes --] diff --git a/doc/libmicrohttpd.texi b/doc/libmicrohttpd.texi index 99f0e997..bbb7419a 100644 --- a/doc/libmicrohttpd.texi +++ b/doc/libmicrohttpd.texi @@ -3279,22 +3279,22 @@ shorter afterwards due to elimination of escape sequences). @node GNU-LGPL @unnumbered GNU-LGPL @cindex license -@include lgpl.texi +@c @include lgpl.texi @node eCos License @unnumbered eCos License @cindex license -@include ecos.texi +@c @include ecos.texi @node GNU-GPL @unnumbered GNU General Public License @cindex license -@include gpl-2.0.texi +@c @include gpl-2.0.texi @node GNU-FDL @unnumbered GNU-FDL @cindex license -@include fdl-1.3.texi +@c @include fdl-1.3.texi @node Concept Index @unnumbered Concept Index ^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails) 2019-10-13 19:14 ` Paul Eggert @ 2019-10-17 13:11 ` Christian Grothoff 2019-10-18 7:54 ` Tim Rühsen 0 siblings, 1 reply; 6+ messages in thread From: Christian Grothoff @ 2019-10-17 13:11 UTC (permalink / raw) To: libmicrohttpd development and user mailinglist, Paul Eggert Cc: Tim Rühsen, bug-gnulib [-- Attachment #1.1: Type: text/plain, Size: 2874 bytes --] 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 > ? [-- Attachment #2: OpenPGP digital signature --] [-- Type: application/pgp-signature, Size: 833 bytes --] ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails) 2019-10-17 13:11 ` [libmicrohttpd] " Christian Grothoff @ 2019-10-18 7:54 ` Tim Rühsen 2019-10-18 8:02 ` Tim Rühsen 0 siblings, 1 reply; 6+ messages in thread From: Tim Rühsen @ 2019-10-18 7:54 UTC (permalink / raw) To: Christian Grothoff, libmicrohttpd development and user mailinglist, Paul Eggert Cc: bug-gnulib [-- Attachment #1.1: Type: text/plain, Size: 3131 bytes --] 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 >> ? > [-- Attachment #2: OpenPGP digital signature --] [-- Type: application/pgp-signature, Size: 833 bytes --] ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails) 2019-10-18 7:54 ` Tim Rühsen @ 2019-10-18 8:02 ` Tim Rühsen 2019-10-18 10:12 ` Tim Rühsen 0 siblings, 1 reply; 6+ messages in thread From: Tim Rühsen @ 2019-10-18 8:02 UTC (permalink / raw) To: Christian Grothoff, libmicrohttpd development and user mailinglist, Paul Eggert Cc: bug-gnulib [-- Attachment #1.1: Type: text/plain, Size: 3810 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 >>> ? >> > [-- Attachment #2: OpenPGP digital signature --] [-- Type: application/pgp-signature, Size: 833 bytes --] ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails) 2019-10-18 8:02 ` Tim Rühsen @ 2019-10-18 10:12 ` Tim Rühsen 0 siblings, 0 replies; 6+ messages in thread From: Tim Rühsen @ 2019-10-18 10:12 UTC (permalink / raw) To: Christian Grothoff, libmicrohttpd development and user mailinglist, Paul Eggert Cc: bug-gnulib [-- Attachment #1.1: Type: text/plain, Size: 4140 bytes --] There was a stale 'doc/texinfo.tex' here (no idea where it's from). After removing it, everything works out smooth. Sorry for the wind. Regards, Tim On 10/18/19 10:02 AM, Tim Rühsen wrote: > @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 >>>> ? >>> >> > [-- Attachment #2: OpenPGP digital signature --] [-- Type: application/pgp-signature, Size: 833 bytes --] ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2019-10-18 10:13 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <f6bb3864-e5b1-e1a1-97c2-3d2025226759@gmx.de>
2019-10-13 16:01 ` CI Pipeline fails (doc / etex fails) Christian Grothoff
2019-10-13 19:14 ` Paul Eggert
2019-10-17 13:11 ` [libmicrohttpd] " Christian Grothoff
2019-10-18 7:54 ` Tim Rühsen
2019-10-18 8:02 ` Tim Rühsen
2019-10-18 10:12 ` Tim Rühsen
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).