From 6e57bc151e3bf87d620bd4bfe7c89c4aed07df6d Mon Sep 17 00:00:00 2001 From: Sander Date: Thu, 28 Mar 2024 00:50:20 +0100 Subject: [PATCH] Revert update development.md --- docs/development.md | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/docs/development.md b/docs/development.md index 9efdc0b37..a87641ded 100644 --- a/docs/development.md +++ b/docs/development.md @@ -341,16 +341,6 @@ If you want to build the documentation locally, this is how you do it: ```bash $ pipenv install --dev ``` -You may need to install the follow extensions manually, if you find that mkdocs is complaining about missing modules, plugins or themes: - ```bash - $ pip install pymdown-extensions - ``` - ```bash - $ pip install mkdocs-material-extensions mkdocs-material - ``` - ```bash - $ pip install mkdocs-glightbox - ``` 2. Build the documentation