all:	doxygen

doxygen:
	if test -n "$(DOXYGEN)"; then					\
		$(DOXYGEN) $(SUBDIR)Doxyfile;				\
	else								\
		echo "Doxygen not found, can not build documentation";	\
	fi