From: Debian Julia Team Date: Tue, 22 Jan 2019 20:19:55 +0000 (+0000) Subject: doc-make X-Git-Tag: archive/raspbian/1.0.4+dfsg-1+rpi1~1^2~9 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b80ae3de2b3a4800d728c0bb689f298723f1a9f8;p=julia.git doc-make Gbp-Pq: Name doc-make.patch --- diff --git a/doc/Makefile b/doc/Makefile index 3d07733..cf86235 100644 --- 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 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 7a7e8cf..8a76f28 100644 --- 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