[Pkg-julia-devel] [SCM] Julia branch, master, updated. debian/0.0.0+20121214.gitdced1f7-1-1-gf56f864

[Sébastien Villemot]

The following commit has been merged in the master branch:
commit f56f86490d66bb32f8c98a2e3e4bab469601de48
Author: Sébastien Villemot <sebastien at debian.org>
Date:   Tue Dec 18 17:21:45 2012 +0100

    No longer try to rebuild helpdb.jl
    
     + debian/rules: remove helpdb.jl from build-arch rule
     + debian/control: move back python-sphinx to Build-Depends-Indep

diff --git a/debian/control b/debian/control
index 1850cdd..994f297 100644
--- a/debian/control
+++ b/debian/control
@@ -5,8 +5,9 @@ Uploaders: Sébastien Villemot <sebastien at debian.org>
 Build-Depends: dpkg-dev (>= 1.16.1~), debhelper (>= 9), dh-exec, llvm-3.1-dev,
  libdouble-conversion-dev, libsuitesparse-dev, gfortran, libglpk-dev,
  libgmp-dev, libreadline6-dev, libunwind8-dev, libfftw3-dev, libpcre3-dev,
- libarpack2-dev, libncurses5-dev, python-sphinx
-Build-Depends-Indep: texlive-latex-extra, texlive-fonts-recommended
+ libarpack2-dev, libncurses5-dev
+Build-Depends-Indep: python-sphinx, texlive-latex-extra,
+ texlive-fonts-recommended
 Standards-Version: 3.9.4
 Section: science
 Homepage: http://julialang.org
diff --git a/debian/patches/do-not-download-jquery.patch b/debian/patches/do-not-download-jquery.patch
index 28df7a4..6caa7a4 100644
--- a/debian/patches/do-not-download-jquery.patch
+++ b/debian/patches/do-not-download-jquery.patch
@@ -22,7 +22,7 @@ This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
  help:
 @@ -48,27 +44,19 @@
  	-rm -rf $(BUILDDIR)/*
- 	rm -f sphinx/*.pyc helpdb.jl
+ 	rm -f sphinx/*.pyc
  
 -clean-jquery:
 -	-rm -f $(JQUERYDEST)
diff --git a/debian/patches/fix-clean-rules.patch b/debian/patches/fix-clean-rules.patch
index 075783c..5e7b31e 100644
--- a/debian/patches/fix-clean-rules.patch
+++ b/debian/patches/fix-clean-rules.patch
@@ -20,7 +20,7 @@ This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
  
  clean:
  	-rm -rf $(BUILDDIR)/*
-+	rm -f sphinx/*.pyc helpdb.jl
++	rm -f sphinx/*.pyc
  
  clean-jquery:
  	-rm -f $(JQUERYDEST)
diff --git a/debian/rules b/debian/rules
index b00de58..0e24da7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,7 +8,6 @@ COMMON_FLAGS=USE_DEBIAN=1 USE_QUIET=0 LLVM_CONFIG=/usr/bin/llvm-config-3.1 MULTI
 	dh $@ --parallel
 
 override_dh_auto_build-arch:
-	make -C doc helpdb.jl
 	make $(COMMON_FLAGS)
 
 override_dh_auto_build-indep:

-- 
Julia