--- /dev/null
+all-local: doxygen-doc
+
+install-data-local: doxygen-doc
+ cp -rv output/html "$(DESTDIR)$(docdir)/api"
+
+@DX_RULES@
+
+MOSTLYCLEANFILES = $(DX_CLEANFILES)
+EXTRA_DIST = Doxyfile.in \
+ dox/group-api-ref.dox \
+ dox/group-ctf-ir.dox \
+ dox/main-page.dox \
+ dox/quick-start.dox