From b9c5109aaf3bde51c27ad0fbdcde7dc084159ee7 Mon Sep 17 00:00:00 2001
From: Xubai Wang <self@xubai.wang>
Date: Sun, 20 Feb 2022 23:05:35 +0800
Subject: [PATCH] pref: prefetch search data

---
 DocGen4/Output/Template.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DocGen4/Output/Template.lean b/DocGen4/Output/Template.lean
index 8ed58ee..232df38 100644
--- a/DocGen4/Output/Template.lean
+++ b/DocGen4/Output/Template.lean
@@ -18,6 +18,7 @@ def baseHtmlArray (title : String) (site : Array Html) : HtmlM Html := do
         <link rel="stylesheet" href={s!"{←getRoot}style.css"}/>
         <link rel="stylesheet" href={s!"{←getRoot}pygments.css"}/>
         <link rel="shortcut icon" href={s!"{←getRoot}favicon.ico"}/>
+        <link rel="prefetch" href={s!"{←getRoot}searchable_data.json"}/>
         <title>{title}</title>
         <meta charset="UTF-8"/>
         <meta name="viewport" content="width=device-width, initial-scale=1"/>