add_custom_target(${thename}_html DEPENDS ${${thename}_HTML})
add_dependencies(info ${thename}_info)
add_dependencies(html ${thename}_html)
add_custom_target(${thename}_html DEPENDS ${${thename}_HTML})
add_dependencies(info ${thename}_info)
add_dependencies(html ${thename}_html)