diff --git a/Makefile b/Makefile
index f2df08fb3..985fd51d1 100644
--- a/Makefile
+++ b/Makefile
@@ -401,9 +401,10 @@ start-%: --develop
 	DEV_PORT_HTTP=`cat $(CONTAINER_FILE) | grep 'DEV_PORT_HTTP=' | sed 's/DEV_PORT_HTTP=//'`; \
 	DEV_PORT_HTTPS=`cat $(CONTAINER_FILE) | grep 'DEV_PORT_HTTPS=' | sed 's/DEV_PORT_HTTPS=//'`; \
 	./start.sh
---start-hoogle-backend: hoogle.sh
+--start-hoogle-backend:
 	HOOGLE_PORT=`cat $(CONTAINER_FILE) | grep 'HOOGLE_PORT=' | sed 's/HOOGLE_PORT=//'` ; \
-	./hoogle.sh
+	echo "${HOOGLE_PORT}" ; \
+	stack --work-dir .stack-work-doc hoogle -- -server --local --port $${HOOGLE_PORT}
 
 --start-frontend: static
 	npm run start