From adb9f0b459cef2b4193a049facddfea3c4cbfa1c Mon Sep 17 00:00:00 2001 From: CarloLucibello Date: Tue, 23 Dec 2025 18:03:19 +0100 Subject: [PATCH] fix docs --- docs/make-multi.jl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/make-multi.jl b/docs/make-multi.jl index 39650db80..e28fd17e9 100644 --- a/docs/make-multi.jl +++ b/docs/make-multi.jl @@ -33,7 +33,11 @@ MultiDocumenter.make( docs; # search_engine = false, # https://github.com/JuliaComputing/MultiDocumenter.jl/issues/82 brand_image = MultiDocumenter.BrandImage("", "logo.svg"), - rootpath = "/GraphNeuralNetworks.jl/" + rootpath = "/GraphNeuralNetworks.jl/", + search_engine = MultiDocumenter.SearchConfig( + index_versions = ["dev"], + engine = MultiDocumenter.FlexSearch + ) ) # Copy after make since make cleans the directory