From b1b27e819549c09e2c541677048fcdb7761cc549 Mon Sep 17 00:00:00 2001
From: Stiwen02 <146366486+Stiwen02@users.noreply.github.com>
Date: Sat, 25 Nov 2023 18:45:32 +0100
Subject: [PATCH] Update better-development-server.md to say extensions.json
 instead of index.ejs (#86)

---
 docs/development/extensions/better-development-server.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/development/extensions/better-development-server.md b/docs/development/extensions/better-development-server.md
index 8ac75a92..49c106cc 100644
--- a/docs/development/extensions/better-development-server.md
+++ b/docs/development/extensions/better-development-server.md
@@ -39,7 +39,7 @@ In the future, we may consider adding more development features.
 ## Exercises
 
 1. Can you figure out how to add a new HTML file to the development server? (Hint: <Spoiler>look into the "website" folder</Spoiler>)
-1. Can you figure out how to add your extension to the homepage list? (Hint: <Spoiler>look at "website/index.ejs"</Spoiler>)
+1. Can you figure out how to add your extension to the homepage list? (Hint: <Spoiler>look at "extensions/extensions.json"</Spoiler>)
 1. Can you figure out how to add an image for your extension on the homepage? (Hint: <Spoiler>create an image in "images" with the same folder and basename as the file in "extensions"</Spoiler>)
 
 ## Next steps