On Saturday, 4 September 2021 at 08:54:31 UTC, Mike Parker wrote:
On Saturday, 4 September 2021 at 08:19:53 UTC, JG wrote:

[...]

You should be able to do that now with "sourceFiles" and "sourcePaths". Just avoid the default "source" or "src" directories and specify the paths and/or files you want for each configuration.

I didn't know about this. Thanks you for letting me know.

Reply via email to