From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bruno@clisp.org>
Received: from mo4-p00-ob.smtp.rzone.de (mo4-p00-ob.smtp.rzone.de
 [85.215.255.21])
 by sourceware.org (Postfix) with ESMTPS id 8B0863858D37
 for <libc-alpha@sourceware.org>; Sun, 20 Mar 2022 21:08:52 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 8B0863858D37
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=clisp.org
Authentication-Results: sourceware.org; spf=none smtp.mailfrom=clisp.org
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1647810529;
 s=strato-dkim-0002; d=clisp.org;
 h=References:In-Reply-To:Message-ID:Date:Subject:Cc:To:From:Cc:Date:
 From:Subject:Sender;
 bh=rmQg6P+T1JARZxJyoubEfG00i2jIkbhBb23mWGprITk=;
 b=lBj6dlwDOdDQ5+jv755yR2rqtIR99b90Yd3h85cStsdbiuHLiwItZSwhqgZhKyXShk
 fzccuiC0WrXEsYI9EOraSBQTSSb+gHu01y8fxTZRVpWzvmx51ofnjrz8Cb0B5QLNP3ku
 QJEdHUM9sY0OUliKZI5LzvY+r6880GiaCHrxbHQ8Uh/WMHpQZhAxF2oG6vBZ36V6Os4x
 ibjA01wqeki3WCF6hOFYIR1u4JqzQqk07NYPRotB60ZVP8o2ioKHk/XmX2K8SJtH90of
 u5sVCSQoVpNlJ8yu7ZZkaPqLHuoJhO+UUYT/iPcUqVxG+gzdTYqrxvokCWtzM0oCqhld
 3jWA==
Authentication-Results: strato.com;
    dkim=none
X-RZG-AUTH: ":Ln4Re0+Ic/6oZXR1YgKryK8brlshOcZlIWs+iCP5vnk6shH0WWb0LN8XZoH94zm6Ln9gbQrVn1jcG/LXNlLAKvc2oswiON9ptg=="
X-RZG-CLASS-ID: mo00
Received: from omega.localnet by smtp.strato.de (RZmta 47.41.1 AUTH)
 with ESMTPSA id D3ccd5y2KL8mH55
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits))
 (Client did not present a certificate);
 Sun, 20 Mar 2022 22:08:48 +0100 (CET)
From: Bruno Haible <bruno@clisp.org>
To: Paul Eggert <eggert@cs.ucla.edu>
Cc: libc-alpha@sourceware.org
Subject: Re: published documentation
Date: Sun, 20 Mar 2022 22:08:48 +0100
Message-ID: <18310683.jiFIW2sfyF@omega>
In-Reply-To: <2440cc90-93fe-fd38-07a7-cddd9562807d@cs.ucla.edu>
References: <3188887.clyjiGRsXx@omega>
 <2440cc90-93fe-fd38-07a7-cddd9562807d@cs.ucla.edu>
MIME-Version: 1.0
Content-Transfer-Encoding: 7Bit
Content-Type: text/plain; charset="us-ascii"
X-Spam-Status: No, score=-3.4 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE,
 RCVD_IN_MSPIKE_H5, RCVD_IN_MSPIKE_WL, SPF_HELO_PASS, SPF_NONE, TXREP,
 T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
 server2.sourceware.org
X-BeenThere: libc-alpha@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Libc-alpha mailing list <libc-alpha.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/libc-alpha/>
List-Post: <mailto:libc-alpha@sourceware.org>
List-Help: <mailto:libc-alpha-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Sun, 20 Mar 2022 21:08:54 -0000

Paul Eggert wrote:
> I fixed that by running this script:

Thank you!