Skip to content

Commit

Permalink
Trying to fix documentation (#69)
Browse files Browse the repository at this point in the history
* commented out some things that seem unnecessary

* tried remotes

* noted v1.0.0 hard-coding

* updated comment
  • Loading branch information
zsunberg authored Jul 17, 2024
1 parent eec5db5 commit cd9d264
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions docs/make.jl
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,8 @@ makedocs(
modules=[ParticleFilters, POMDPs],
format=Documenter.HTML(),
sitename="ParticleFilters.jl",
warnonly=[:missing_docs, :cross_references]
warnonly=[:missing_docs, :cross_references],
remotes=Dict(dirname(dirname(pathof(POMDPs))) => (Remotes.GitHub("JuliaPOMDP", "POMDPs.jl"), "v1.0.0")) # Note: this is hard-coded to version 1.0.0 because I didn't know how to fix it. It should be updated in a future release, but it does not seem that important because it is only for source links.
)

PlutoSliderServer.export_directory(
Expand All @@ -14,6 +15,4 @@ PlutoSliderServer.export_directory(

deploydocs(
repo="github.com/JuliaPOMDP/ParticleFilters.jl.git",
target="build",
push_preview = true,
)

0 comments on commit cd9d264

Please sign in to comment.