From 92f79baea6ee7225f7aacf7bfeaab39bf1670b57 Mon Sep 17 00:00:00 2001
From: Thibaut Cuvelier <thibaut@tcuvelier.be>
Date: Mon, 31 Jul 2023 21:26:41 -0400
Subject: [PATCH] Fix encoding of examples.

---
 lib/layouts/theorems-starred.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 9ff2ba6ebf..ddf26b9832 100644
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -232,7 +232,7 @@ Style Example*
 	BabelPreamble
 	  \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 	EndBabelPreamble
-	DocBookWrapperTag     informalexample
+	DocBookWrapperTag     example
 	DocBookTag            para
 	DocBookAttr           ""
 End
-- 
2.39.5