Still checkout latexout branch

jump-dev · Nov 20, 2020 · 773d07c · 773d07c · blegat · Dec 2, 2020
1 parent 1847428
commit 773d07c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -16,6 +16,7 @@ jobs:
       script:
         - julia --project=docs/ -e 'using Pkg; Pkg.instantiate();
                                     Pkg.add("DynamicPolynomials");
+                                    Pkg.add(PackageSpec(url="https://github.com/blegat/Documenter.jl", rev="latexout"));
                                     Pkg.develop(PackageSpec(path=pwd()))'
         - julia --project=docs/ docs/make.jl
       after_success: skip

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -3,6 +3,3 @@ CSDP = "0a46da34-8e4b-519e-b418-48813639ff34"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"
 SumOfSquares = "4b9e565b-77fc-50a5-a571-1244f986bda1"
-
-[compat]
-Documenter = "0.25.4"