diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 4ff1299be4..769ffd498a 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -752,3 +752,11 @@ mark-cstyle-krb5:: mark-cstyle-bsd:: (cd $(top_srcdir) && $(FIND) $(BSDFILES) -print0 | $(XARGS) -0 \ $(PYTHON) util/krb5-mark-cstyle.py --cstyle=bsd) + +doxygen:: + if test "which doxygen" != ""; then \ + doxygen; \ + else \ + echo "Doxygen is not installed or incorrect PATH"; \ + fi + |