From cd9d264c793ea97b489cb260bc9d84f24334d48d Mon Sep 17 00:00:00 2001
From: Zachary Sunberg <sunbergzach@gmail.com>
Date: Wed, 17 Jul 2024 15:15:21 -0600
Subject: [PATCH] Trying to fix documentation (#69)

* commented out some things that seem unnecessary

* tried remotes

* noted v1.0.0 hard-coding

* updated comment
---
 docs/make.jl | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/docs/make.jl b/docs/make.jl
index 86803e4..4a5962c 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -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(
@@ -14,6 +15,4 @@ PlutoSliderServer.export_directory(
 
 deploydocs(
     repo="github.com/JuliaPOMDP/ParticleFilters.jl.git",
-    target="build",
-    push_preview = true,
 )