wip

Tragicus · Oct 18, 2022 · 7cb5f17 · 7cb5f17
1 parent 63e20b4
commit 7cb5f17
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -73,9 +73,10 @@ clean:
 	rm -rf _build
 	rm -rf docs/build
 
-release: doc-publish
+release:
 	dune-release -p elpi
-
+ 	$(MAKE) doc-publish
+
 # testing
 tests:
 	$(MAKE) build