From a0d79f224424fdb73fb009330160dd902cc46cf0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Tue, 5 Dec 2023 11:56:29 +0100 Subject: [PATCH] Template: no need to generate a dune.server file --- template.distillery/Makefile.os | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/template.distillery/Makefile.os b/template.distillery/Makefile.os index cc308868..84406abc 100644 --- a/template.distillery/Makefile.os +++ b/template.distillery/Makefile.os @@ -176,8 +176,7 @@ opt:: gen-dune make config-files PROJECT_NAME=$(PROJECT_NAME) gen-dune: - @ocaml tools/gen_dune.ml --server > dune.server - @ocaml tools/gen_dune.ml --client > client/dune.client + @ocaml tools/gen_dune.ml > client/dune.client ##----------------------------------------------------------------------