(executable
 (name gen_dune_inc))

(alias
 (name doc-manual)
 (deps
  (glob_files *wiki)
  (source_tree files)))
