before readonly

JuliaPOMDP · Jan 8, 2025 · 3f1ff23 · 3f1ff23
1 parent 67cd99c
commit 3f1ff23
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 23 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,10 +1,20 @@
 using Documenter, ParticleFilters, POMDPs, PlutoSliderServer
 
+page_order = [
+    "index.md",
+    "bootstrap.md",
+    "beliefs.md",
+    "basic.md",
+    "depletion.md",
+    "sampling.md",
+]
+
 makedocs(
     modules=[ParticleFilters, POMDPs],
     format=Documenter.HTML(),
     sitename="ParticleFilters.jl",
-    warnonly = [:missing_docs, :cross_references]
+    warnonly = [:missing_docs, :cross_references],
+    pages = page_order
 )
 
 PlutoSliderServer.export_directory(

diff --git a/docs/src/index.md b/docs/src/index.md
@@ -16,4 +16,5 @@ For documentation on all aspects of the package, see the contents below.
 ## Contents
 
 ```@contents
+Pages = Main.page_order
 ```
diff --git a/docs/src/models.md b/docs/src/models.md
diff --git a/docs/src/resamplers.md b/docs/src/resamplers.md