如何使用Ant的“获取任务”从服务器获取整个文件目录？

Question

我有一些文件存储在WebDAV共享上，我想使用Ant的get任务来获取所有文件。

我知道如果我指定所有这样的文件名，我可以全部取出它们：

<get dest="local_destination">
  <url url="https://dav/path/file1.txt" />
  <url url="https://dav/path/file2.txt" />
  <url url="https://dav/path/file3.txt" />
</get>

但是我想尽可能避免枚举所有文件，以便我可以简单地将更多文件添加到WebDAV共享中并重新执行任务以下载其他文件。

我想反映一下这种行为，例如：

$ wget --mirror 'https://dav/path/'

这可能吗？我没有看到任何允许这种情况的具体配置。