From 1fb9e07629280769fa3134f638de1f886c254a3e Mon Sep 17 00:00:00 2001
From: Romain Crestey <rcrestey@gmail.com>
Date: Sun, 20 Aug 2023 20:52:23 +0200
Subject: [PATCH] glossary: add prerendering

---
 documentation/docs/07-glossary/02-web.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/documentation/docs/07-glossary/02-web.md b/documentation/docs/07-glossary/02-web.md
index 4c97338c28..d92bac5257 100644
--- a/documentation/docs/07-glossary/02-web.md
+++ b/documentation/docs/07-glossary/02-web.md
@@ -100,6 +100,10 @@ Plus d'infos sur le [site de la documentation du LSP](https://microsoft.github.i
 
 > Bientôt...
 
+## Prerendering
+
+> Bientôt...
+
 ## REPL
 
 > Bientôt...