(documentation
 (files
  (glob_files_rec
   (doc/* with_prefix .))))
