--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/make.jl	Fri Jan 14 09:01:12 2022 +0100
@@ -0,0 +1,30 @@
+using Documenter
+using Sbplib
+
+using Sbplib.DiffOps
+using Sbplib.Grids
+using Sbplib.LazyTensors
+using Sbplib.RegionIndices
+using Sbplib.SbpOperators
+using Sbplib.StaticDicts
+
+
+sitename = "Sbplib.jl"
+prettyurls = false
+pages = [
+    "index.md",
+    "Submodules" => [
+        "submodules/grids.md",
+        "submodules/diff_ops.md",
+        "submodules/lazy_tensors.md",
+        "submodules/region_indices.md",
+        "submodules/sbp_operators.md",
+        "submodules/static_dicts.md",
+    ],
+    "doc_index.md",
+]
+# This ordering is not respected by @contents. See https://github.com/JuliaDocs/Documenter.jl/issues/936
+
+format=Documenter.HTML(;prettyurls)
+makedocs(;sitename, pages, format)
+# TBD: Should `prettyurls` be true or false when this is deployed to a webserver?