update docusaurus

edgelesssys · Aug 27, 2024 · 22f15c3 · 22f15c3
1 parent 65b057d
commit 22f15c3
Show file tree

Hide file tree

Showing 4 changed files with 3,583 additions and 2,793 deletions.
diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js
@@ -19,6 +19,7 @@ const config = {
 
   onBrokenLinks: 'throw',
   onBrokenMarkdownLinks: 'throw',
+  onBrokenAnchors: 'throw',
 
   // Even if you don't use internationalization, you can use this field to set
   // useful metadata like html lang. For example, if your site is Chinese, you