From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out2.suse.de (smtp-out2.suse.de [195.135.220.29]) by sourceware.org (Postfix) with ESMTPS id 76CCA385782B for ; Sun, 13 Nov 2022 11:01:45 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 76CCA385782B Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=suse.cz Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.cz Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by smtp-out2.suse.de (Postfix) with ESMTPS id 4D6B51F8FC; Sun, 13 Nov 2022 11:01:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.cz; s=susede2_rsa; t=1668337304; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=kVpxmwnhEHZjol+dmYkyF1HMm3niEj3xFYwCxrg4BEo=; b=A+Crd7cnrlvwpeF0EE3SyX0/IqTRQfrRsi1Gxe0rcC8msxyLjS36dpN+1vmwBbizLu5jFD OyA10iA+bGHQyB8m4esy6px0mT4LLrxwfpIdd/gtd/qPXz7Uss42k4t82FaSijrRi83F+2 KwgEyrlWaORQ9OZRM0poDJV1Gruh1RI= DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.cz; s=susede2_ed25519; t=1668337304; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=kVpxmwnhEHZjol+dmYkyF1HMm3niEj3xFYwCxrg4BEo=; b=YVmHOi4q0mWf/Q/l1S4vkCZnfKcRQQlflfpZwtiphvZi9b9mIGJJJFxszgN/yUJnBA3uml v2TFKS+sqe5CjWBg== Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by imap2.suse-dmz.suse.de (Postfix) with ESMTPS id 349DF133A4; Sun, 13 Nov 2022 11:01:44 +0000 (UTC) Received: from dovecot-director2.suse.de ([192.168.254.65]) by imap2.suse-dmz.suse.de with ESMTPSA id LkitC5jOcGNbRQAAMHmgww (envelope-from ); Sun, 13 Nov 2022 11:01:44 +0000 Message-ID: Date: Sun, 13 Nov 2022 12:01:43 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.2 Subject: Re: [PATCH] doc: Ada: include Indices and Tables in manuals Content-Language: en-US To: Arnaud Charlet Cc: gcc-patches@gcc.gnu.org, Pierre-Marie de Rodat , Marc Poulhies References: <26247edc-2f04-844e-f8ca-87892632377b@suse.cz> From: =?UTF-8?Q?Martin_Li=c5=a1ka?= In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-5.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 11/11/22 18:25, Arnaud Charlet wrote: > >> Similarly to other manuals, we should include the page >> in HTML builder. >> >> What Ada folks think about it? > > The latest changes have broken our build of the Ada doc at AdaCore so until further notice, please do not make any additional changes to the Ada doc while we review in details all the recent changes and find a way to recover, thank you. Hello. Sorry for the breakage. However, I contacted you (and your colleague) and haven't received any feedback for a couple of weeks. Martin > > Arno