1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 7bf5aa3..958bf9d 100644
--- a/Makefile
+++ b/Makefile
@@ -172,6 +172,9 @@ distclean:
 	$(MAKE) clean
 	rm -f Makefile.config
 
+check-admitted: $(FILES)
+	@grep -w 'admit\|Admitted\|ADMITTED' $^ || echo "Nothing admitted."
+
 include .depend
 
 FORCE: