# automatically create these web pages
dune_add_subdirs(doxygen)
