From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from esa2.mentor.iphmx.com (esa2.mentor.iphmx.com [68.232.141.98]) by sourceware.org (Postfix) with ESMTPS id 761BA3858C5E for ; Fri, 10 Mar 2023 00:07:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 761BA3858C5E Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com X-IronPort-AV: E=Sophos;i="5.98,248,1673942400"; d="scan'208";a="101040430" Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165]) by esa2.mentor.iphmx.com with ESMTP; 09 Mar 2023 16:07:41 -0800 IronPort-SDR: b+xzd5UxmhWRxjEnFHAatot4BIWi1zBCbhCnWFCxs8sWNCxTArKcMFIxpYFtwQ+qB08EhHKfHV plBs2BeZas7V8Xp6LvClJPPPHsFlCIfDgNU3rVCwh7viyspnWklGeo6EHAO9BIW9ed5l1CXLlw QDeSWMjjAbeEnECUvIAtbmZChYSTozelhcqY8oe7hlssCgK3kGnGVOz848RZf8cXUmtIOG3ASd yFuKTiYRjv2fowLVNrritlkAbMD3zgz62jvqCIYLnhSZQ7gPAL9sw7MZ7rjb12Y+hTzyBTUpHV xsc= Message-ID: Date: Thu, 9 Mar 2023 17:07:37 -0700 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1 Subject: Re: [PATCH v2 5/5] update_web_docs_git: Update CSS reference to new manual CSS Content-Language: en-US To: =?UTF-8?Q?Arsen_Arsenovi=c4=87?= , CC: Gerald Pfeifer , Joseph Myers References: <20230223102714.3606058-1-arsen@aarsen.me> <20230223102714.3606058-6-arsen@aarsen.me> From: Sandra Loosemore In-Reply-To: <20230223102714.3606058-6-arsen@aarsen.me> Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8bit X-ClientProxiedBy: svr-orw-mbx-14.mgc.mentorg.com (147.34.90.214) To svr-orw-mbx-13.mgc.mentorg.com (147.34.90.213) X-Spam-Status: No, score=-3.8 required=5.0 tests=BAYES_00,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,NICE_REPLY_A,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=no 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 2/23/23 03:27, Arsen Arsenović via Gcc-patches wrote: > maintainer-scripts/ChangeLog: > > * update_web_docs_git (CSS): Update CSS reference to point to > /texinfo-manuals.css. I'm going to defer to Gerald on this one, since I am ignorant of how documents are produced for the GCC web site. IIUC the online docs are built on a system with Texinfo 6.5; I don't know if it's reasonable to update that, otherwise I think somebody ought to give it a dry run to make sure that the style sheet does reasonable things with Texinfo 6.5 output. -Sandra