package dune-release

is_backup_file s returns true iff the filename s:

• ends with '~'
• or begins with '#' and ends with '#'.

find_files ~names_wo_ext files returns the list of files among files whose name without extension is equal to an element of names_wo_ext. Backup files are ignored.