add a distclean target

redianthus · redianthus · commit 069c4e329392 · 2023-07-24T19:52:05.000+02:00
diff --git a/interpreter/Makefile b/interpreter/Makefile
@@ -96,4 +96,6 @@ $(ZIP):
 
 clean:
 	dune clean
+
+distclean:
 	rm -f $(NAME) $(JSLIB)
