From 25258b3d6d1152884471fbee1d9a3ad7d9649170 Mon Sep 17 00:00:00 2001
From: Lex Spoon <lex@lexspoon.org>
Date: Wed, 28 Nov 2007 04:41:29 +0000
Subject: In the Debian build scripts, do not run scalado...

In the Debian build scripts, do not run scaladoc by default. It must be
requested explicitly.
---
 debian/rules         | 2 +-
 debian/simpbuild.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/rules b/debian/rules
index 395e5e6f7c..99d63d4a52 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,7 @@ export DH_VERBOSE=1
 build: build-stamp
 build-stamp:
 	dh_testdir
-	ANT_OPTS=-Xmx512M ant -f debian/simpbuild.xml dist
+	ANT_OPTS=-Xmx512M ant -f debian/simpbuild.xml build docs dist
 	touch build-stamp
 
 clean:
diff --git a/debian/simpbuild.xml b/debian/simpbuild.xml
index e218de422b..dde892b271 100644
--- a/debian/simpbuild.xml
+++ b/debian/simpbuild.xml
@@ -519,7 +519,7 @@
 
   <target name="docs" depends="docs.lib, docs.manual"/>
 
-  <target name="dist" depends="build, docs">
+  <target name="dist" depends="build">  <!-- should build docs manually -->
     <!-- Create the SBaz packages -->
     <mkdir dir="${dist.sbaz.dir}"/>
     <!-- Create the Scala library package -->
-- 
cgit v1.2.3