Unverified Commit d125d963 authored by mergify[bot]'s avatar mergify[bot] Committed by GitHub
Browse files

[website] Bump Docusaurus to 3.1.1 and fix broken anchors (backport #3948) (#3949)

* [website] Bump Docusaurus to 3.1.1 and fix broken anchors (#3948)

The website build has started failing for an unknown reason, but there
was a warning about the Algolia integration and bumping Docusaurus seems
to fix the issue. Docusaurus 3.1.1 introduces checks for broken anchors
which is also fixed in this PR. One of the broken anchors was to a
section on FixedPoint, as FixedPoint was removed, this section was
deleted.

(cherry picked from commit 946392f5

)

# Conflicts:
#	docs/src/cookbooks/cookbook.md

* Resolve backport conflicts

Also warn instead of throw on broken anchors since website is published
from main rather than this branch.

---------

Co-authored-by: default avatarJack Koenig <koenig@sifive.com>
parent 683a8463
Pipeline #1647 failed with stages
in 0 seconds