File otp_src_19.3.4-erts-doc-erlang.patch of Package erlang

diff -Ndurp otp_src_19.3.4/erts/doc/src/erlang.xml otp_src_19.3.4-erts-doc-erlang/erts/doc/src/erlang.xml
--- otp_src_19.3.4/erts/doc/src/erlang.xml	2017-05-11 18:41:34.028021792 +0300
+++ otp_src_19.3.4-erts-doc-erlang/erts/doc/src/erlang.xml	2017-05-29 03:27:31.975418473 +0300
@@ -5864,7 +5864,7 @@ true</pre>
             <p>Monitors the new process (like
               <seealso marker="#monitor/2"><c>monitor/2</c></seealso> does).</p>
           </item>
-          <tag><c>{priority, <anno>Level</anno></c></tag>
+          <tag><c>{priority, <anno>Level</anno>}</c></tag>
           <item>
             <p>Sets the priority of the new process. Equivalent to
               executing <seealso marker="#process_flag_priority">