From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x432.google.com (mail-wr1-x432.google.com [IPv6:2a00:1450:4864:20::432]) by sourceware.org (Postfix) with ESMTPS id 86EF63858C42 for ; Tue, 19 Dec 2023 15:01:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 86EF63858C42 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 86EF63858C42 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::432 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702998104; cv=none; b=rU0Sn+o0uwm8U/ChObBRRlgOpQ7oqSdkxYKfD96zMyayX+EwvIkUqUGmyrbQ0x4lBopGSIroX2H/rguUDSA7ECaBqkG5kF34WY0+tfRzYQtnM4gKUUXb0kb2rT1D2Ok2GjqlNFZesVt8+K9EYapTJxDp6Ay9i9egIqTCK0Sk83w= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702998104; c=relaxed/simple; bh=xm99A6W15wRwLc6UXKyhnthZI7kdGSl+VBocRhR630k=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=AaoTHxkkW6wtNI8pTJ/SWwTeqrWlm+mhtZrzpjQzD1njLQxVlivUxZdUmJyRqVvI9+Nk4owK3RRJXb4ED3pvZFAtqmk8IMlU2k8xV7mw7DiHjr/2OuANnB9Q8uqc7jt+QRA+KDGK2b9dO3OoVowP3gX1hAPHuHyx+n1EILm0Rec= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x432.google.com with SMTP id ffacd0b85a97d-33662243274so1477878f8f.1 for ; Tue, 19 Dec 2023 07:01:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1702998101; x=1703602901; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:in-reply-to:date :subject:cc:to:from:user-agent:references:from:to:cc:subject:date :message-id:reply-to; bh=8G2+XUQu2/pmPEitTVKM7RHaqcPmkW9qgAjvVuMVf7I=; b=llXAxyeZeS2jMdF5Mgdo4AWov73MuaKGFM1nuqNnZtuv530EVQ4BF/BVTsO3DkF2Dw rZZ7YgOzWEKmm46WRSKTO2iLu3qzIQfejXQElZQdkJQ0DEKYFlK5MWGWeNMbQffQXDOK qH8ieTy9EnVy/9VXbHgF6g0R75GUtUNeLkrXn4DV8EqsItp2xdpbdgKljFVILtLhtfzZ 62hRbHzFuoDE+ZaNCASUMq8nlrh9pDLemb0lrveZeKhCJ1OMzxFfSPgAHqbV1HsJypd/ ucqfUJaDAQIwkMV8NMTqmiyVkKiB3ikdt++kEVv0CKKLdE+puF3YUkO8SJhNB37HdVbi JntQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702998101; x=1703602901; h=content-transfer-encoding:mime-version:message-id:in-reply-to:date :subject:cc:to:from:user-agent:references:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=8G2+XUQu2/pmPEitTVKM7RHaqcPmkW9qgAjvVuMVf7I=; b=GpiWI3DOHJFawTC5GHA58PHsj+rkGD1gI7Gg4kGcHVoybPA+SwM9X86fkupfPEAwhR Ckxyd6TRzvzyTyAIDTZd6DUoibqjYAU/XrP+QZOZcdejZ/u7YZpjmKUtReuuTBVylvAa 14iR45s1objPWUlJVlZ1FUlUQ4qRJmF75WkqZ2l5y2BuePOHPc6pV2UjtFdA863y90eg MUKZNZMgq59a1SEaoDCBxbQSI2EJAy7n8x3YEPnqysW7yPA1qEB1RVizYcRi1arSKeK3 bPKIIA6i7pELj3yCCNbebMY52R/7Sqr6H+BoYL2VJ3mUpbK4mLNdky7hn9Pd4KeGvq9y MxTw== X-Gm-Message-State: AOJu0YzbsYGapOLUIo4Wug/30rM0zhRrRahhMCkyYOARePonPVH7XfC5 B0AxrBudm2/AoMIncVaQrUHz3ELCnRSr7gLwie8= X-Google-Smtp-Source: AGHT+IF0iVA1aoRdFUkGq2B5IVqHxCKWz1ErRT2ikhKJWn8VGXmYSk0m2YbNpVmhnFE2banHCdmoqA== X-Received: by 2002:a05:600c:3547:b0:40d:2828:9c6f with SMTP id i7-20020a05600c354700b0040d28289c6fmr591200wmq.171.1702998101177; Tue, 19 Dec 2023 07:01:41 -0800 (PST) Received: from poulhies-Precision-5550 ([2001:861:3382:1a90:fe1e:443:c34f:edaa]) by smtp.gmail.com with ESMTPSA id bh20-20020a05600c3d1400b0040d15dcb77asm3218141wmb.23.2023.12.19.07.01.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 19 Dec 2023 07:01:40 -0800 (PST) References: <20231110214246.3087291-1-dmalcolm@redhat.com> <20231110214246.3087291-3-dmalcolm@redhat.com> <8734x9aj3m.fsf@adacore.com> <24d0411f5e8494cf3c6b58bd1b259bf07fcfa858.camel@redhat.com> <87y1f18wk5.fsf@adacore.com> User-agent: mu4e 1.10.1; emacs 28.1 From: Marc =?utf-8?Q?Poulhi=C3=A8s?= To: David Malcolm Cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH 2/3] Add generated .opt.urls files Date: Tue, 19 Dec 2023 15:47:12 +0100 In-reply-to: <87y1f18wk5.fsf@adacore.com> Message-ID: <875y0uxmlo.fsf@adacore.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-7.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: Marc Poulhi=C3=A8s writes: >> Perhaps this script could also deal directly with Sphinx-generated >> HTML? > > I investigated a bit... The Ada part doesn't handle the html target, so > it's expected you don't have anything to parse. The online docs are > generated using a different script, not using these makefiles. > > I'll see if I can fix the html target for ada, so that your script > doesn't need to be changed :) > >>> We are generating the texinfo files >>> from sphinx, so maybe we could adjust the script to also match what >>> the >>> sphinx generator produces? >> >> It *might* be as simple as pointing it at the option index for the >> generated HTML for Ada. > > That's worth a try, when/if I can fix the HTML target. FYI, I've committed a simple patch for having the HTML documentation correctly generated when invoking "make html" (r14-6712) so maybe you can also enable it for the Ada frontend. But that will probably not produce any useful output as most compiler options for GNAT are handled in the frontend (no .opt and the actual messages are emitted without using gcc's mechanism). Marc