doc-make

Gbp-Pq: Name doc-make.patch

diff --git a/doc/Makefile b/doc/Makefile
index 3d0773342fc1d4df3bd7f2f539ecda559c544360..cf86235df15d4a80f32c0a203e36b7510cbc8816 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -23,10 +23,8 @@ help:
 DOCUMENTER_OPTIONS := linkcheck=$(linkcheck) doctest=$(doctest) buildroot=$(call cygpath_w,$(BUILDROOT))
 
 UnicodeData.txt:
-       $(JLDOWNLOAD) http://www.unicode.org/Public/9.0.0/ucd/UnicodeData.txt
-
-deps: UnicodeData.txt
-       $(JLCHECKSUM) UnicodeData.txt
+deps:
+       true
 
 clean:
        -rm -rf _build/* deps/* docbuild.log UnicodeData.txt

diff --git a/doc/Project.toml b/doc/Project.toml
deleted file mode 100644 (file)
index dfa65cd..0000000
--- a/doc/Project.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-[deps]
-Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"

diff --git a/doc/make.jl b/doc/make.jl
index 7a7e8cf1953dd76b783dde487dfe83e749de9279..8a76f283aed12f2e987e1d08511484f2496673f9 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