EXTRA_DIST += \
	${top_srcdir}/src/documentation/groups.dox \
	${top_srcdir}/src/documentation/mainpage.dox