Granular.jl

commit 5cc7b425e3d6a9f918268f26b3752cbe0ebce32c
parent 10aa02cf08f0393bb355814c98b49a5d30cd96a5
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date:   Thu, 29 Nov 2018 13:31:48 +0100

Change configuration for docs

Diffstat:
M
.travis.yml
 | 
12
+++++++++++-
A
docs/Project.toml
 | 
5
+++++
M
docs/make.jl
 | 
4
----

3 files changed, 16 insertions(+), 5 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -28,9 +28,19 @@ script:
   - julia -e 'import Pkg; Pkg.clone(pwd()); Pkg.build("Granular"); Pkg.test("Granular"; coverage=true)';
 
 after_success:
-  - julia -e 'using Pkg; Pkg.add("Documenter"); include(joinpath("docs", "make.jl"))'
   - julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'
 
 matrix:
   allow_failures:
   - julia: nightly
+
+jobs:
+  include:
+    - stage: "Documentation"
+      julia: 1.0
+      os: linux
+      script:
+        - julia --project=docs/ -e 'using Pkg; Pkg.instantiate();
+                                    Pkg.develop(PackageSpec(path=pwd()))'
+        - julia --project=docs/ docs/make.jl
+      after_success: skip
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -0,0 +1,5 @@
+[deps]
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+
+[compat]
+Documenter = "~0.20"
diff --git a/docs/make.jl b/docs/make.jl
@@ -25,8 +25,4 @@ makedocs(
 
 deploydocs(
     repo = "github.com/anders-dc/Granular.jl.git",
-    julia = "1.0",
-    deps = nothing,
-    make = nothing,
-    target = "build",
 )