From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 5F4563858413; Sun, 13 Nov 2022 12:48:18 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5F4563858413 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668343698; bh=vxSyUb/34Ll1d9cVL7v6wZMuEyomrfqg5MN6ytGQh8k=; h=From:To:Subject:Date:In-Reply-To:References:From; b=aTvfTjGSI+ea99Mp42mHrQQfHD5IgOqvdQV3wT15bZTEie3OU2rF93XHLIHOhMDrv e571l8A+AenKzhlt5Klat4Nu+BIBC16j1nfLn9rtXA8QilJqfwI9vXkS9OhuXI0skf RhCR9iperqMu/aBfByKVuJbOGPtnp4F9WSU5e/0M= From: "pinskia at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug web/107651] Having two different kind of indexes is very useful still Date: Sun, 13 Nov 2022 12:48:18 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: web X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: documentation X-Bugzilla-Severity: normal X-Bugzilla-Who: pinskia at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107651 --- Comment #6 from Andrew Pinski --- Also search bars are not very useful if you say searching for an option and= it turns up non option related stuff. An example of that is you search for vectorize you it turns up the extension page. Indexes are useful for searching and researching and having the options all= in one place.=