diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index d76797b87c..769f964a1e 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -749,6 +749,11 @@ mark-cstyle-bsd:: (cd $(top_srcdir) && $(FIND) $(BSDFILES) -print0 | $(XARGS) -0 \ $(PYTHON) util/krb5-mark-cstyle.py --cstyle=bsd) +check-copyright: + (cd $(top_srcdir) && \ + $(FIND) . \( -name '*.[ch]' -o -name '*.hin' \) -print0 | \ + $(XARGS) -0 python util/krb5-check-copyright.py) + doxygen:: if test "which doxygen" != ""; then \ doxygen; \ |