From 357bec81bad5b71f3dadde009e0da1c8c4e07938 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Mon, 23 Dec 2024 22:15:38 +0900 Subject: [PATCH] Delete Makefile --- Makefile | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 Makefile diff --git a/Makefile b/Makefile deleted file mode 100644 index c291a7a..0000000 --- a/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -.PHONY: build clean doc test - -build: - dune build - -test: - dune runtest - -clean: - dune clean - -doc: - dune build @doc