From f95bfb97f4e980f81fee33da57f9fb9fe6eb5264 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Tue, 8 Jan 2008 10:26:29 +0000
Subject: added target in docs.manual

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'build.xml')

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>
-- 
cgit v1.2.3