From b8441a8e2bf420513c69957d6ec409d825f05f21 Mon Sep 17 00:00:00 2001 From: Michael Vasseur <14887731+vmcj@users.noreply.github.com> Date: Wed, 20 Mar 2024 21:53:25 +0100 Subject: [PATCH] And dependency back --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 1a4193f0e5..f36291dde3 100644 --- a/Makefile +++ b/Makefile @@ -48,7 +48,7 @@ endif domserver: domserver-configure paths.mk config judgehost: judgehost-configure paths.mk config docs: paths.mk config -nstall-domserver: composer-dump-autoload domserver domserver-create-dirs +install-domserver: domserver composer-dump-autoload domserver-create-dirs install-judgehost: judgehost judgehost-create-dirs install-docs: docs-create-dirs dist: configure composer-dependencies