From 4da9ec6714a1674d9d0940c7a8ac0889f0ee8cd4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Nyffenegger?= Date: Thu, 12 Feb 2026 22:24:56 +0100 Subject: [PATCH] No more docs/docusaurus.config.js docs/docusaurus.config.js was deleted in an earlier commit which should be accordingly reflected in the CONTRIBUTING.md file. --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 091b950cc94..1412ffc6672 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -79,7 +79,7 @@ You can run the documentation server locally using either of the following metho #### Method 1: NPM Script -1. Open your terminal and navigate to the `docs` subdirectory of the project. The `docusaurus.config.js` file you'll see +1. Open your terminal and navigate to the `docs` subdirectory of the project. The `favicon.png` file you'll see there is a sign you're in the right place. 2. Run the following command to install the necessary dependencies for the documentation server: