Adjust docs

digitallyinduced · Aug 13, 2024 · dc248f7 · dc248f7
1 parent bd1220d
commit dc248f7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -78,10 +78,13 @@ Note that it takes around 30 minutes for the IHP GitHub actions to prepare a bin
 
 
 When making changes to the development tooling, we have to start the server differently, without `devenv up`. We have to
-use `make console` to load your application together with the framework located in `IHP`.
+use `ghci` to load your application together with the framework located in `IHP`.
 
 ```
 ghci
+-- Add the IHP/ihp-ide directory to the load path
+:set -iIHP/ihp-ide
+-- Load the development server
 :l IHP/ihp-ide/exe/IHP/IDE/DevServer.hs
 main
 ```