Add doc

.travis.yml

@@ -17,3 +17,13 @@ before_script:
   - julia -e 'using Pkg; Pkg.add(PackageSpec(url="https://github.com/blegat/SetProg.jl.git", rev="master"))'
 after_success:
   - julia -e 'import Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder()); Codecov.submit(process_folder())'
+
+jobs:
+  include:
+    - stage: "Documentation"
+      julia: 1.0
+      os: linux
+      script:
+        - julia --project=docs/ -e 'import Pkg; Pkg.instantiate(); Pkg.develop(Pkg.PackageSpec(path=pwd()))'
+        - julia --project=docs/ docs/make.jl
+      after_success: skip

README.md

@@ -17,12 +17,8 @@ It also includes utilities for approximation the [Joint Spectral Radius](https:/
 ## Installation
 
 The package currently requires Julia v1.0, you can download it [here](https://julialang.org/downloads/).
-It also needs the latest unreleased versions of JuMP, PolyJuMP and SumOfSquares so once Julia is installed,
-launch the REPL an type
+Once Julia is installed, simply launch the REPL an type
 ```julia
-] add JuMP#master
-] add PolyJuMP#master
-] add SumOfSquares#master
 ] add https://github.com/blegat/SetProg.jl.git
 ] add https://github.com/blegat/SwitchOnSafety.jl.git
 ```

docs/Project.toml

@@ -0,0 +1,6 @@
+[deps]
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+SwitchOnSafety = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f"
+
+[compat]
+Documenter = "~0.21"

docs/make.jl

@@ -0,0 +1,16 @@
+using Documenter, SwitchOnSafety
+
+makedocs(
+    sitename = "SwitchOnSafety",
+    # See https://github.com/JuliaDocs/Documenter.jl/issues/868
+    format = Documenter.HTML(prettyurls = get(ENV, "CI", nothing) == "true"),
+    # See https://github.com/JuliaOpt/JuMP.jl/issues/1576
+    strict = true,
+    pages = [
+        "Introduction" => "index.md"
+    ]
+)
+
+deploydocs(
+    repo   = "github.com/blegat/SwitchOnSafety.jl.git"
+)

docs/src/index.md

@@ -0,0 +1,6 @@
+# Switch On Safety (SOS)
+
+```@docs
+soslyap
+soslyapbs
+```