From 5dc80dddc5d246f56f5f79ff0063330f41e25c2c Mon Sep 17 00:00:00 2001 From: Chris de Graaf Date: Mon, 14 Aug 2017 17:58:11 -0500 Subject: [PATCH] Only Pkg.add("Documenter") if necessary (big speedup!) --- src/plugins/documenter.jl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/plugins/documenter.jl b/src/plugins/documenter.jl index d29d290..e95ef9a 100644 --- a/src/plugins/documenter.jl +++ b/src/plugins/documenter.jl @@ -15,8 +15,10 @@ Generate the "docs" directory with files common to all Documenter subtypes. * `pkg_name::AbstractString`: Name of the package. """ function gen_plugin(plugin::Documenter, template::Template, pkg_name::AbstractString) - info("Adding Documenter.jl") - Pkg.add("Documenter") + if Pkg.installed("Documenter") == nothing + info("Adding Documenter.jl") + Pkg.add("Documenter") + end path = joinpath(template.path, pkg_name) docs_dir = joinpath(path, "docs", "src") mkpath(docs_dir)