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