Filter 甘特：使用筛选进行复制

我有一个包含HTML文档的“doc”目录，每个HTML都包含应用程序版本和SVN修订版的占位符：

欢迎来到。。。V${version}r${buildNumber}

在我的Grails/Gant构建脚本中，我们创建了一个doc包，在对其进行压缩之前，我们首先将doc目录复制到一个暂存区域。现在我想用如下值替换这些占位符（假设变量

appVersion

和

svnRevision

设置正确：

ant.mkdir(dir: "${baseDocDir}")
ant.copy(todir: "${baseDocDir}") {
   fileset(dir: "./src/main/doc", includes: '*.html')
   filterset {
     filter ( token : 'version' , value: appVersion )
     filter ( token : 'buildNumber' , value : svnRevision )
   }
}

---

副本可以工作，但过滤器无法工作！

我现在可以自己回答这个问题。以下代码可以工作：

ant.copy(todir: "${baseDocDir}") {
  filterset(begintoken: "\${", endtoken: "}") {
    filter(token: "version", value: appVersion)
    filter(token: "buildNumber", value: svnRevision)
  }
  fileset(dir: "./src/main/doc/", includes: "**/*.html")
}

---

问题是为什么筛选不起作用…在执行此任务之后，HTML仍然包含V${version}r${buildNumber}