From 10d634c1bd3b14fa45c5f994ddfb816bcfc7f601 Mon Sep 17 00:00:00 2001
From: michelou <michelou@5e8d7ff9-d8ef-0310-90f0-a4852d11357a>
Date: Tue, 8 Jan 2008 10:26:29 +0000
Subject: [PATCH] added target in docs.manual

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@13669 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 6d61e8eb6..146c55a24 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>