add stop-docker to stop make command (#13020)

2019-11-12 08:32:06 +01:00
--- a/2
+++ b/2
@@ -401,7 +401,7 @@ stop-client: ## Stops the webapp.
 	cd $(BUILD_WEBAPP_DIR) && $(MAKE) stop
-stop: stop-server stop-client ## Stops server and client.
+stop: stop-server stop-client stop-docker ## Stops server, client and the docker compose.
 restart: restart-server restart-client ## Restarts the server and webapp.