Change name of src-distrib target in ivette makefile

b76e2bdd · Loïc Correnson · af1907e7 · b76e2bdd
Commit b76e2bdd authored 4 years ago by Loïc Correnson
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -75,7 +75,7 @@ $(LOADER): $(PACKAGES) ./configure.js ./Makefile
 SRC_DISTRIB=Makefile.distrib
 SRC_HEADERS=headers/header_spec.txt

-src-distrib:
+update-distrib-files:
 	@echo "Generating $(SRC_DISTRIB)"
 	@rm -f $(SRC_DISTRIB)
 	@rm -f $(SRC_HEADERS)