diff options
Diffstat (limited to 'docs/build.xml')
| -rw-r--r-- | docs/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/build.xml b/docs/build.xml index 7097fe443..d5be65d29 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -296,6 +296,7 @@ <arg value="${xml-source-dir}/${xml-source-root}"/> <arg value="${xsl-source-file}"/> <arg value="base.dir=${xml-target-dir}/"/> + <arg value="use.id.as.filename=1"/> </java> </target> |