From 50d8b0a4e8148b439acfcef1facd7a3d757a7c8d Mon Sep 17 00:00:00 2001 From: Debian Julia Team Date: Sat, 2 Mar 2019 23:41:50 +0000 Subject: [PATCH] doc-make Gbp-Pq: Name doc-make.patch --- doc/Makefile | 6 ++---- doc/Project.toml | 2 -- doc/make.jl | 3 +-- 3 files changed, 3 insertions(+), 8 deletions(-) delete mode 100644 doc/Project.toml 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 -- 2.30.2