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 3bf710c6a4a480c0c283a5efc3583f990e3c2c11..f03fa708d5867f241e66f044791354409c98f80b 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -26,12 +26,8 @@ DOCUMENTER_OPTIONS := linkcheck=$(linkcheck) doctest=$(doctest) buildroot=$(call
 
 UNICODE_DATA_VERSION=13.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 1dc60ec7ee5439e12dd3c763f1fb4c03b4cc57b6..318ef6ecba0b5d7dfb8af2e03a76c13746e05a9b 100644 (file)
--- a/doc/make.jl
+++ b/doc/make.jl
@@ -4,8 +4,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