geant 'copy' to copy empty directories?

"Bernd Schoeller" <[email protected]> Thu, 05 Apr 2007 16:05:47 +0200

Newsgroups	gmane.comp.lang.eiffel.gobo.general
Organization	ETH Zurich
Message-ID	<[email protected]>

Hi,

is it somehow possible to make <copy> in geant copy empty directories when  
operating on filesets? As far as I currently see it, filesets do not  
contains directories and thus a directory will never be created if there  
is not file in it.

Bernd

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.