add_custom_target(${DOCS_TARGET_PREFIX}html) # TODO
