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