Prevent the build system from downloading anything while building docs.

Forwarded: no need.
Last-Update: 2018-07-03

Gbp-Pq: Name doc-make.patch

diff --git a/doc/Makefile b/doc/Makefile
index 0c934a87f62cdcfa8214f99b5468a4c3df116a2f..7c1f2a389a2bfc445c99892040e14078bde44e26 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -26,12 +26,8 @@ DOCUMENTER_OPTIONS := linkcheck=$(linkcheck) doctest=$(doctest) buildroot=$(call
 
 UNICODE_DATA_VERSION=9.0.0
 $(SRCCACHE)/UnicodeData-$(UNICODE_DATA_VERSION).txt:
-       @mkdir -p "$(SRCCACHE)"
-       $(JLDOWNLOAD) "$@" http://www.unicode.org/Public/$(UNICODE_DATA_VERSION)/ucd/UnicodeData.txt
-
-deps: $(SRCCACHE)/UnicodeData-$(UNICODE_DATA_VERSION).txt
-       $(JLCHECKSUM) "$<"
-       cp "$<" UnicodeData.txt
+deps:
+       true
 
 clean:
        -rm -rf _build/* deps/* docbuild.log UnicodeData.txt

diff --git a/doc/Project.toml b/doc/Project.toml
index c09e74d6533a497b9bb750fb701447ab12228b7a..bb4d98f1fe5fc5b843f6c66630d6145d86dc6959 100644 (file)
--- a/doc/Project.toml
+++ b/doc/Project.toml
@@ -1,3 +1 @@
-[deps]
-Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 DocumenterLaTeX = "cd674d7a-5f81-5cf3-af33-235ef1834b99"

diff --git a/doc/make.jl b/doc/make.jl
index 8ec30a198f518852c6251b0b0cf66a272be777d6..d5a41c9f6e3f321ae1ec0d36b2f7ffe67e646982 100644 (file)
--- a/doc/make.jl
+++ b/doc/make.jl
@@ -3,8 +3,7 @@ empty!(LOAD_PATH)
 push!(LOAD_PATH, @__DIR__, "@stdlib")
 empty!(DEPOT_PATH)
 pushfirst!(DEPOT_PATH, joinpath(@__DIR__, "deps"))
-using Pkg
-Pkg.instantiate()
+push!(LOAD_PATH, "../debian/embedded")
 
 using Documenter, DocumenterLaTeX