diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index d504437ae0f..26ef3b5e52a 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -31,6 +31,7 @@ jobs: using Pkg Pkg.develop(PackageSpec(path=pwd())) Pkg.instantiate() + Pkg.add(url="https://github.com/BambOoxX/Documenter.jl", rev="2309-listings") - name: Build and deploy env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token diff --git a/docs/Project.toml b/docs/Project.toml index 4d5ce74bd0d..175fedde7ee 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -57,7 +57,7 @@ DataFrames = "1.8.1" DifferentiationInterface = "0.7.14" DimensionalData = "=0.29.25" Distributions = "0.25.123" -Documenter = "=1.16.1" +Documenter = "1" DocumenterCitations = "1.4.1" Dualization = "0.7.1" Enzyme = "0.13.116" diff --git a/docs/make_utilities.jl b/docs/make_utilities.jl index c83f524db73..526febec765 100644 --- a/docs/make_utilities.jl +++ b/docs/make_utilities.jl @@ -763,6 +763,7 @@ function make_latex() format = Documenter.LaTeX(; platform = "tectonic", tectonic = tectonic_jll.tectonic(), + code_listings = "listings", ), source = joinpath(@__DIR__, "latex_src"), build = joinpath(@__DIR__, "latex_build"),