diff options
| author | Petr Mladek <pmladek@suse.cz> | 2011-03-30 12:32:50 +0200 |
|---|---|---|
| committer | Petr Mladek <pmladek@suse.cz> | 2011-03-30 12:32:50 +0200 |
| commit | 3d0da385c70ca6ef24dafea01d68ce6ec83c8491 (patch) | |
| tree | 07d2577d9743b29138f717394c5ba9e6c125fa3d | |
| parent | 58f34938277570534753e33ef556c9188dc41b75 (diff) | |
build-ant-1.6-swext.diff: allow to build MediaWiki ext. with ant 1.6 (i#90830)
| -rw-r--r-- | swext/mediawiki/build.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/swext/mediawiki/build.xml b/swext/mediawiki/build.xml index 916abfb..37e2c66 100644 --- a/swext/mediawiki/build.xml +++ b/swext/mediawiki/build.xml @@ -130,10 +130,10 @@ <zip destfile="${dist}/${name}.${ext}"> <fileset dir="${out}/misc/${target}/package_tmp" casesensitive="yes"/> <fileset dir="${dist}" includes="${target}.jar" casesensitive="yes"/> - <file file="${commons-codec-jar}"/> - <file file="${commons-httpclient-jar}"/> - <file file="${commons-lang-jar}"/> - <file file="${commons-logging-jar}"/> + <fileset file="${commons-codec-jar}" casesensitive="yes"/> + <fileset file="${commons-httpclient-jar}" casesensitive="yes"/> + <fileset file="${commons-lang-jar}" casesensitive="yes"/> + <fileset file="${commons-logging-jar}" casesensitive="yes"/> <zipfileset file="src/filter/odt2mediawiki.xsl" casesensitive="yes" fullpath="filter/odt2mediawiki.xsl"/> <zipfileset file="src/filter/mediawiki.ott" casesensitive="yes" fullpath="templates/MediaWiki/mediawiki.ott"/> <zipfileset dir="${solar.bin}/xslt/export/xsltml" casesensitive="yes" prefix="filter/math"/> |