File 0874-Handle-mailto.patch of Package erlang

From a1bac198c0b1a8fb27c4760194066535f0ece6d4 Mon Sep 17 00:00:00 2001
From: "Paulo F. Oliveira" <paulo.ferraz.oliveira@gmail.com>
Date: Sun, 10 Sep 2023 13:58:44 +0100
Subject: [PATCH 14/15] Handle mailto

---
 lib/edoc/src/edoc_layout.erl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/edoc/src/edoc_layout.erl b/lib/edoc/src/edoc_layout.erl
index 451d467c47..09788df2ed 100644
--- a/lib/edoc/src/edoc_layout.erl
+++ b/lib/edoc/src/edoc_layout.erl
@@ -782,11 +782,11 @@ author(E=#xmlElement{}) ->
     Mail = get_attrval(email, E),
     URI = get_attrval(website, E),
     (if Name == Mail ->
-	     [{a, [{href, "mailto:" ++ Mail}],[{tt, [Mail]}]}];
+	     [{a, [{href, "mailto:" ++ Mail}],[{code, [Mail]}]}];
 	true ->
 	     if Mail == "" -> [Name];
 		true -> [Name, " (", {a, [{href, "mailto:" ++ Mail}],
-				      [{tt, [Mail]}]}, ")"]
+				      [{code, [Mail]}]}, ")"]
 	     end
      end
      ++ if URI == "" ->
-- 
2.35.3