1 files changed, 1 insertions, 1 deletions
diff --git a/aux/dev.mk b/aux/dev.mk
index 5144a42..94fa4d6 100644
--- a/aux/dev.mk
+++ b/aux/dev.mk
@@ -108,6 +108,6 @@ manfooter.sentinel:
 	for f in aux/checks/manpages/*.in; do $(MAKE) -f aux/dev.mk "$${f%.in}"; done
 	touch $@
 
-check: $(test-files)
+dev-check: $(test-files)
 
 ALWAYS: