diff --git a/doc/makefile.am b/doc/makefile.am
index a84fa13..787a19f 100644
--- a/doc/makefile.am
+++ b/doc/makefile.am
@@ -20,7 +20,7 @@ all: ${DIRS}
 deps = ${top_srcdir}/COPYING ${top_srcdir}/README		 \
        ${top_srcdir}/INSTALL ${top_srcdir}/NEWS ${top_srcdir}/ChangeLog
 
-html: ${ALL_SRC} doxyfile ${deps}
+${devel_DATA}: ${ALL_SRC} doxyfile ${deps}
 	doxygen doxyfile
 if PEDANTIC
 	test \! -s doxygen.errors