Update make.jl

JuliaGeo · May 6, 2024 · 4aec5d3 · 4aec5d3
1 parent 0b01824
commit 4aec5d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -102,6 +102,7 @@ makedocs(;
             "Peculiarities" => "peculiarities.md",
         ],
         "Source code" => literate_pages,
+        "Paper" => "paper.md",
     ],
     warnonly = true,
 )