diff options
author | michelou <michelou@epfl.ch> | 2008-01-17 16:18:02 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2008-01-17 16:18:02 +0000 |
commit | e5ca1a3906ae29c1d6db5de333932bbfc189cedc (patch) | |
tree | 09d1216b77b8f408dd77ae2440c7ce9cd0c05ebe | |
parent | 0f73d8ae863b588939ed57874aae5db6edee1111 (diff) | |
download | scala-e5ca1a3906ae29c1d6db5de333932bbfc189cedc.tar.gz scala-e5ca1a3906ae29c1d6db5de333932bbfc189cedc.tar.bz2 scala-e5ca1a3906ae29c1d6db5de333932bbfc189cedc.zip |
moved man pages back to scala-devel package
-rw-r--r-- | build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1780,6 +1780,7 @@ GENERATES A DISTRIBUTION <binset dir="${dist.current.dir}/bin" includes="**"/> <docset dir="${dist.current.dir}/doc" includes="**" excludes="**/scala/api/**,**/scala/tools/**"/> <libset dir="${dist.current.dir}/lib" includes="${comp.jar.name}"/> + <manset dir="${dist.current.dir}/man" includes="**"/> <srcset dir="${dist.current.dir}/lib" includes="${compsrc.jar.name}"/> </quicksbaz> <!-- Create the Scala developer docs package --> @@ -1791,7 +1792,6 @@ GENERATES A DISTRIBUTION desc="The Scala developer documentation. This contains all developer documentation." link="${sbaz.universe}/scala-devel-docs-${version.number}.sbp"> <docset dir="${dist.current.dir}/doc" includes="**/scala/api/**,**/scala/tools/**"/> - <manset dir="${dist.current.dir}/man" includes="**"/> </quicksbaz> <!-- Creates the empty umbrella Scala package --> <quicksbaz |