Merge pull request #670 from ocsigen/template-dune-fix

Template: no need to generate a dune.server file
ocsigen · Dec 8, 2023 · 54d53d5 · 54d53d5
2 parents b0b7e08 + a0d79f2
commit 54d53d5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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
 
 ##----------------------------------------------------------------------