File 0426-erts-time_correction.xml-remove-extra-closing-parent.patch of Package erlang

From ded95242ba01c3e21e47cf6594fa73ba3fb16ad7 Mon Sep 17 00:00:00 2001
From: Mariano Guerra <mariano@marianoguerra.org>
Date: Thu, 16 Aug 2018 23:47:26 +0200
Subject: [PATCH] erts/time_correction.xml: remove extra closing parenthesis

---
 erts/doc/src/time_correction.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/erts/doc/src/time_correction.xml b/erts/doc/src/time_correction.xml
index 77e7a40529..53b555387c 100644
--- a/erts/doc/src/time_correction.xml
+++ b/erts/doc/src/time_correction.xml
@@ -940,7 +940,7 @@ EventTag = {Time, UMI}</code>
       </item>
       <item>
         <seealso marker="erlang#system_info_os_system_time_source">
-	<c>erlang:system_info(os_system_time_source)</c></seealso>)
+	<c>erlang:system_info(os_system_time_source)</c></seealso>
       </item>
     </list>
 
-- 
2.16.4