Re: Search Functionality Now Available on beta.boost.org

From: Mohammad Nejati [ashtum] (ashtumashtum_at_[hidden])
Date: 2023-07-07 05:07:17

Currently, the search index only includes library documentation. I
have avoided adding it to the home page. It is only available on
library-related pages such as:
https://beta.boost.org/doc/libs/1_82_0/

If we add a search box to the home page, users might expect to find
the content of pages like
https://beta.boost.org/community/reviews.html by searching there.

Thanks

On Thu, Jul 6, 2023 at 11:50 PM Vinnie Falco <vinnie.falco_at_[hidden]> wrote:
>
> On Thu, Jul 6, 2023 at 11:58 AM Mohammad Nejati [ashtum] via Boost
> <boost_at_[hidden]> wrote:
> > We have added search functionality to beta.boost.org. Currently, a
> > search button appears on each library's documentation page and generic
> > pages like https://beta.boost.org/doc/libs/.
>
> I don't see any Search button on the home page here:
>
> https://beta.boost.org/
>
> Thanks