summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2008-01-08 10:26:29 +0000
committermichelou <michelou@epfl.ch>2008-01-08 10:26:29 +0000
commitf95bfb97f4e980f81fee33da57f9fb9fe6eb5264 (patch)
tree8440286b74a6c011c9970ee43dd3fc71b233e35c /build.xml
parentf6cd01e01f459ba0ede99009085c5082ccb3718d (diff)
downloadscala-f95bfb97f4e980f81fee33da57f9fb9fe6eb5264.tar.gz
scala-f95bfb97f4e980f81fee33da57f9fb9fe6eb5264.tar.bz2
scala-f95bfb97f4e980f81fee33da57f9fb9fe6eb5264.zip
added target in docs.manual
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 6d61e8eb66..146c55a249 100644
--- a/build.xml
+++ b/build.xml
@@ -1461,6 +1461,7 @@ DOCUMENTATION
<quick
srcdir="${src.dir}/manual"
destdir="${tooldocs.dir}/classes"
+ deprecation="yes" target="jvm-1.4"
classpathref="manual.classpath">
<include name="**/*.scala"/>
</quick>