Forwarded: no need.
Last-Update: 2018-07-03
Gbp-Pq: Name doc-make.patch
texplatform=$(texplatform)
$(SRCCACHE)/UnicodeData.txt:
- @mkdir -p "$(SRCCACHE)"
- $(JLDOWNLOAD) "$@" http://www.unicode.org/Public/9.0.0/ucd/UnicodeData.txt
-
-deps: $(SRCCACHE)/UnicodeData.txt
- $(JLCHECKSUM) "$<"
- cp "$<" UnicodeData.txt
+deps:
+ true
clean:
-rm -rf _build/* deps/* docbuild.log UnicodeData.txt
-[deps]
-Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
DocumenterLaTeX = "cd674d7a-5f81-5cf3-af33-235ef1834b99"
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