CLEANFILES = rm -rf html man

if HAVE_DOXYGEN
MANUALS = html/index.html
else
MANUALS =
endif

all: $(MANUALS)

html/index.html: ../src/*.cpp ../src/*.hxx
	$(DOXYGEN)