[Dune-devel] Force usage of named arguments in dune_symlink_to_source_(tree, files)

[Christoph Grüninger]

Hi Dominic,
you are right, there were some difficulties involved. With the
handle arguments function you can achieve FILES to be 
optional.
But ok, let's keep it as it is.

I'd like to use to pass patters like *.dgf. Maybe I'll propose
a patch.

Thanks for your explanations
Christoph

-- 
Je n'ai rien contre les étrangers, quelques uns de mes 
meilleurs amis
sont des étrangers. Mais ces étrangers là ne sont pas de chez 
nous!
[Agecanonix, Astérix - Le cadeau de César]