diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-12-20 16:06:54 -0800 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-12-20 16:06:54 -0800 |
| commit | c1c368bb2c910f24e78ff810741f3e32b6f991cb (patch) | |
| tree | f08fcfd0ec358310cdbfb79612e566c66f989023 /build.xml | |
| parent | c1ef1527f9999d6658591bc3dfc8673c9a2a5ab3 (diff) | |
| download | scala-c1c368bb2c910f24e78ff810741f3e32b6f991cb.tar.gz scala-c1c368bb2c910f24e78ff810741f3e32b6f991cb.tar.bz2 scala-c1c368bb2c910f24e78ff810741f3e32b6f991cb.zip | |
Always copy man/* and doc/tools/*.
Diffstat (limited to 'build.xml')
| -rwxr-xr-x | build.xml | 27 |
1 files changed, 14 insertions, 13 deletions
@@ -1596,21 +1596,22 @@ TODO: <genman command="fsc, scala, scalac, scaladoc, scalap" htmlout="${dist.dir}/doc/tools" manout="${build-manual.dir}/genman"/> - <!-- On Windows source and target files can't be the same ! --> - <fixcrlf - srcdir="${build-manual.dir}/genman" - destdir="${dist.dir}/man" - eol="unix" includes="**/*.1"/> - <copy todir="${dist.dir}/doc/tools" overwrite="true"> - <fileset dir="${src.dir}/manual/scala/tools/docutil/resources"> - <include name="**/*.html"/> - <include name="**/*.css"/> - <include name="**/*.gif"/> - <include name="**/*.png"/> - </fileset> - </copy> </do> </staged-uptodate> + + <!-- On Windows source and target files can't be the same ! --> + <fixcrlf + srcdir="${build-manual.dir}/genman" + destdir="${dist.dir}/man" + eol="unix" includes="**/*.1"/> + <copy todir="${dist.dir}/doc/tools" overwrite="true"> + <fileset dir="${src.dir}/manual/scala/tools/docutil/resources"> + <include name="**/*.html"/> + <include name="**/*.css"/> + <include name="**/*.gif"/> + <include name="**/*.png"/> + </fileset> + </copy> </target> <!-- lib/ and src/ (jars: classes and sources) --> |