build the 1.5 developer's notebook as part of the distribution.

diff --git a/docs/build.xml b/docs/build.xml
index 24b032d6f5ff26c6f8818a10fcd0a539dc36d4bb..c86ee12462f0e19f39f1b4c668a6bcbc5974b4e8 100644 (file)
--- a/docs/build.xml
+++ b/docs/build.xml
@@ -153,7 +153,7 @@
     </target>
 
     <target name="do-local-dist" 
-         depends="init,init-filters,api,faq,devguide,progguide"
+         depends="init,init-filters,api,faq,devguide,progguide, adk15guide"
       description="finish products by copying dist files">
         <copy todir="${docs.dist.dir}" filtering="on">
             <fileset dir="${docs.src.dir}/dist" 
@@ -201,6 +201,14 @@
       </antcall>
     </target>
 
+   <target name="adk15guide" depends="init">
+             <antcall target="build-guide">
+               <param name="guide.dir" value="adk15ProgGuideDB"/>
+               <param name="guide.name" value="adk15notebook"/>
+             </antcall>
+       </target>
+
+       
     <target name="devguide" depends="init">
     
 <!-- GCH -->