From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x42d.google.com (mail-wr1-x42d.google.com [IPv6:2a00:1450:4864:20::42d]) by sourceware.org (Postfix) with ESMTPS id 55BD9383F410; Mon, 12 Jul 2021 16:15:18 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 55BD9383F410 Received: by mail-wr1-x42d.google.com with SMTP id a13so26372245wrf.10; Mon, 12 Jul 2021 09:15:18 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=33g01nR/WbmwCcSNh8x2rXmM3fSVqqEVYVTJ3sBHU2Q=; b=U3o26z9eI5nCY+h2LRDPMGOacSOEW8N25zUsTE+J41kaLrb8E3htOaf7iRPqyDt04u gw+upKXUbjm99+wQX+s6karh67cz8CmiqGNlMv3z/lF2bBA9EC3JAJX0/sywf8HrWqjh ZCqllg/KgCqDdliWwFoBSHnhTlKZRJyCRA1ZFik+i7RQB/BClQ5EbSOmc0mLl30wd6hW DMiwJl3978SAJ5gqwW/7Ipn+CayhlPeVEtFNCKTQOlgfaMBFeXQE9BsGeoLURzSdSsgI TZy+fp6z3gojAQgep/iz4UGNejn6BkvR79jnMyaQl6ZcT8u8uegoa4k+b59fUMaOqFz5 zlPw== X-Gm-Message-State: AOAM531VwHWObe9C0DRhPY2AC5OM51d/89D3LgiLcol0DsGspYIKt8cs j0HqlZL8X8rKp49tciCP1o3B3RK4+g1BDlveuyg= X-Google-Smtp-Source: ABdhPJxEUmrjWCOsLEkXbmnrVVZisuyvJ2LoBYBVi5cVdafeT90IOZAZ+ujcLLlJsSJoZOA0XohwrxTiZGBvSRR2Ryg= X-Received: by 2002:a5d:6ac8:: with SMTP id u8mr18783685wrw.30.1626106517372; Mon, 12 Jul 2021 09:15:17 -0700 (PDT) MIME-Version: 1.0 References: <1446990946.2994.192.camel@surprise> <1a22bc37-3d48-132f-a3d5-219471cd443c@suse.cz> <3a2a573b-5185-fff5-f9da-6e5e39953ad6@suse.cz> <8641dc55-5412-fbd7-bafd-13604311f5ad@suse.cz> <5ffe3e32-ece0-a1b4-1fcf-e35177fa80b5@suse.cz> <87489d9a-44e2-411c-3f3a-534d07e78b95@suse.cz> <0866a0ea-c846-ea5e-ac7a-d1c8f106cc45@suse.cz> <5bb9a10d-f3b9-f16a-7430-bbae2d4978e2@suse.cz> <2f60f602-5d88-7674-9620-2172748664c5@suse.cz> <83a6n8obh4.fsf@gnu.org> <57743e51-04d5-ec2e-b684-54f0321ef0bd@suse.cz> <83pmw3mrcg.fsf@gnu.org> <98388e12-3712-575b-9387-45b6ea7ef498@suse.cz> <83v95fabwx.fsf@gnu.org> <83r1g3aady.fsf@gnu.org> In-Reply-To: From: Jonathan Wakely Date: Mon, 12 Jul 2021 17:15:05 +0100 Message-ID: Subject: Re: Benefits of using Sphinx documentation format To: Gavin Smith Cc: Eli Zaretskii , "gcc@gcc.gnu.org" , gcc-patches , "Joseph S. Myers" Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-1.8 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, KAM_SHORT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP 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: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 12 Jul 2021 16:15:20 -0000 On Mon, 12 Jul 2021 at 17:01, Gavin Smith wrote: > > On Mon, Jul 12, 2021 at 4:04 PM Jonathan Wakely via Gcc wrote: > > GNU Hello has the same problem with its docs: > > https://www.gnu.org/software/hello/manual/hello.html#index-_002dg > > That URL is garbage because of the URL-encoded %2d character, and the > > fact it links to the wrong place (the description of the option, not > > the option itself). The former is no longer an issue for GCC (it was > > for many years) but the latter is still a problem. > > > > If you don't know where to find it yourself, the source is visible here: > > https://github.com/yugui/example/blob/master/doc/hello.texi#L208 > > I downloaded the source for the "hello" manual and recreated it with > Texinfo 6.8 (running " texi2any --html hello.texi --no-split"). I've > attached the results. The current output doesn't exhibit the problem > with the scrolling being at the wrong place - this problem has > evidently resolved itself since the time when the online "hello" > manual was generated. (I don't remember many complaints about it on > the mailing list, though: if we don't know about problems, we can't > fix them.) The "copyable link" does work as I would expect. The #index-_002dg anchor still seems to be in the "wrong" place, i.e. in the
element not the
element. But the addition of the copyable link nicely solves the problem of needing to easily obtain a link to the right position. > The URL is mangled because index entries can have more characters in > them than what is suitable for a URL. A space character becomes a "-", > so a "-" has to become something else. Yes, I understand the reason.