From c49210eca4b81fea1ce55099386a5554855a2209 Mon Sep 17 00:00:00 2001 From: Gnimuc Date: Sun, 12 Aug 2018 18:04:35 +0800 Subject: [PATCH] Misc. fixes --- .gitignore | 2 +- doc/make.jl | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index 1099ff83..1151ef3c 100644 --- a/.gitignore +++ b/.gitignore @@ -4,7 +4,7 @@ .DS_Store -./stdlib +/stdlib/* doc/src/base doc/src/devdocs diff --git a/doc/make.jl b/doc/make.jl index 78c429c1..47b2f925 100644 --- a/doc/make.jl +++ b/doc/make.jl @@ -85,8 +85,8 @@ const PAGES = [ "base/stacktraces.md", "base/simd-types.md", ], - "Standard Library" => - [stdlib.targetfile for stdlib in STDLIB_DOCS], + # "Standard Library" => + # [stdlib.targetfile for stdlib in STDLIB_DOCS], "Developer Documentation" => [ "devdocs/reflection.md", "Documentation of Julia's Internals" => [ @@ -129,7 +129,7 @@ end # make documents makedocs( - modules = [Base, Core, [Base.root_module(Base, stdlib.stdlib) for stdlib in STDLIB_DOCS]...], + modules = [Base, Core], clean = false, doctest = false, linkcheck = "linkcheck=true" in ARGS, @@ -147,7 +147,7 @@ makedocs( deploydocs( repo = "github.com/JuliaCN/JuliaZH.jl.git", target = "build", - julia = "0.7", + julia = "1.0", deps = nothing, make = nothing, )