The library that I am developing needs a certain number of additional files (config, images, fonts, etc.) that seem to fit well in the
share directory. I would like to have
dune install them automatically.
Basically, I want to do (taken from https://dune.readthedocs.io/en/stable/installation.html):
(install (files hello.txt) (section share) (package mypackage))
hello.txt by a (large) number of files. What’s the best way to do this?
I would be happy, for instance, if I could just indicate the name of the directory in order to select all its files.