DataFiles generalised to subfolders and several kinds of files

[gildor478]

This feature request has been migrated from artifact #1394 on forge.ocamlcore.org. It was assigned to user102.

user17083 posted on 2014-05-21 17:29:52:

Hello,

When I want to copy several subfolders and their content in a Data folder I need to write a line for each extension in each folder (I use DataFiles)... When there is only one file that's not a problem, but I need to deal with changing files/extensions and lots of subfolders so it is very complicated to use.

Could you please add a way to copy any kind of files and folders, for exemple with syntax like folder/* ?

Thank you in advance,

Léo.