docs: Add search bar.

uzh · Feb 10, 2025 · 6ac17a2 · 6ac17a2
1 parent 638677c
commit 6ac17a2
Show file tree

Hide file tree

Showing 4 changed files with 237 additions and 14 deletions.
diff --git a/docs/antora-playbook-local.yml b/docs/antora-playbook-local.yml
@@ -1,17 +1,25 @@
 site:
   title: DDM Documentation
   start_page: index.adoc
+
 asciidoc:
   attributes:
     page-pagination: '@'
     favicon: ddl_favicon_black.svg
+
+antora:
+  extensions:
+    - require: '@antora/lunr-extension'
+      languages: [en]
+
 content:
   sources:
     - url: ../
       branches: [develop]
       tags: [v1.0.19, v1.0.0]
       version: true
       start_path: docs
+
 ui:
   bundle:
     url: ./ui/ui-bundle.zip

diff --git a/docs/antora-playbook.yml b/docs/antora-playbook.yml
@@ -1,10 +1,17 @@
 site:
   title: DDM Documentation
   start_page: index.adoc
+
 asciidoc:
   attributes:
     page-pagination: '@'
     favicon: ddl_favicon_black.svg
+
+antora:
+  extensions:
+    - require: '@antora/lunr-extension'
+      languages: [en]
+
 content:
   sources:
     - url: https://github.com/uzh/ddm.git