diff --git a/releng.wtpbuilder/distribution/wtp.site/publish.xml b/releng.wtpbuilder/distribution/wtp.site/publish.xml index bd782ababda0ae3d74ef638f9c1c7303e5cee372..e616fd530b69bbad0735aeec32f85b8d8792c36d 100644 --- a/releng.wtpbuilder/distribution/wtp.site/publish.xml +++ b/releng.wtpbuilder/distribution/wtp.site/publish.xml @@ -68,6 +68,8 @@ <replace file="${result}/${indexFileName}" token="@gefURL@" value="${gef.url}/${gef.file}" /> <replace file="${result}/${indexFileName}" token="@jemFile@" value="${jem.file}" /> <replace file="${result}/${indexFileName}" token="@jemURL@" value="${jem.url}/${jem.file}" /> + <replace file="${result}/${indexFileName}" token="@dtpFile@" value="${dtp.file}" /> + <replace file="${result}/${indexFileName}" token="@dtpURL@" value="${dtp.url}/${dtp.file}" /> <mkdir dir="${result}/whatisfixed"/> <echo file="${result}/whatisfixed/buglog.html" append="true" >