From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on dcvr.yhbt.net X-Spam-Level: X-Spam-ASN: AS22989 209.51.188.0/24 X-Spam-Status: No, score=-3.9 required=3.0 tests=AWL,BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED, SPF_HELO_NONE,SPF_PASS shortcircuit=no autolearn=ham autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dcvr.yhbt.net (Postfix) with ESMTPS id 3D24B1F4C0 for ; Sun, 13 Oct 2019 19:15:08 +0000 (UTC) Received: from localhost ([::1]:41760 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iJjKc-0002dJ-Lz for normalperson@yhbt.net; Sun, 13 Oct 2019 15:15:06 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:60102) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iJjKW-0002aC-3g for bug-gnulib@gnu.org; Sun, 13 Oct 2019 15:15:01 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iJjKU-0006Kj-Jw for bug-gnulib@gnu.org; Sun, 13 Oct 2019 15:14:59 -0400 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:40910) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iJjKU-0006Ho-AN; Sun, 13 Oct 2019 15:14:58 -0400 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 6C5901605D8; Sun, 13 Oct 2019 12:14:55 -0700 (PDT) Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id PhsODDGUdcIi; Sun, 13 Oct 2019 12:14:54 -0700 (PDT) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 3CD0C160690; Sun, 13 Oct 2019 12:14:54 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id vYM9CplfFYlf; Sun, 13 Oct 2019 12:14:54 -0700 (PDT) Received: from [192.168.1.9] (cpe-23-242-74-103.socal.res.rr.com [23.242.74.103]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id CF4481605D8; Sun, 13 Oct 2019 12:14:53 -0700 (PDT) Subject: Re: CI Pipeline fails (doc / etex fails) To: Christian Grothoff References: From: Paul Eggert Organization: UCLA Computer Science Department Message-ID: <0202dbc1-4307-296b-8094-389955e9b977@cs.ucla.edu> Date: Sun, 13 Oct 2019 12:14:53 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/mixed; boundary="------------C4E2715F990A269FB781A8C9" Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 131.179.128.68 X-BeenThere: bug-gnulib@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Gnulib discussion list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: libmicrohttpd , =?UTF-8?Q?Tim_R=c3=bchsen?= , bug-gnulib@gnu.org Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" This is a multi-part message in MIME format. --------------C4E2715F990A269FB781A8C9 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit 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 ? --------------C4E2715F990A269FB781A8C9 Content-Type: text/x-patch; name="test.diff" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="test.diff" 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 --------------C4E2715F990A269FB781A8C9--