File 0413-Fix-xmllint-errors-in-debugging.xml.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0413-Fix-xmllint-errors-in-debugging.xml.patch of Package erlang

From 981e5175b45e5545b0017f3f93933d6c18e3bc7f Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Wed, 24 Aug 2022 15:38:41 +0200
Subject: [PATCH] Fix xmllint errors in debugging.xml

Amended dtd with <em> under <pre>. Seems to work.
---
 lib/erl_docgen/priv/dtd/common.dtd | 2 +-
 system/doc/tutorial/debugging.xml  | 8 +++++---
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/lib/erl_docgen/priv/dtd/common.dtd b/lib/erl_docgen/priv/dtd/common.dtd
index 9f5bdc50b8..2b7a83aabc 100644
--- a/lib/erl_docgen/priv/dtd/common.dtd
+++ b/lib/erl_docgen/priv/dtd/common.dtd
@@ -29,7 +29,7 @@
                                marker|anno|image" >
  
 <!ELEMENT p                   (%inline;)* >
-<!ELEMENT pre                 (#PCDATA|%refs;|input|anno)* >
+<!ELEMENT pre                 (#PCDATA|%refs;|input|anno|em)* >
 <!ELEMENT input               (#PCDATA|%refs;|anno)* >
 <!ELEMENT code                (#PCDATA|anno)* >
 <!ATTLIST code                type (erl|c|none) "none" >
diff --git a/system/doc/tutorial/debugging.xml b/system/doc/tutorial/debugging.xml
index bd7814c441..4439bc6d19 100644
--- a/system/doc/tutorial/debugging.xml
+++ b/system/doc/tutorial/debugging.xml
@@ -99,9 +99,11 @@
     </p>
     <p>
       If the <c>debug</c> emulator is part of the Erlang/OTP installation, it can be
-      started with</p>
+      started with the <seecom marker="erts:erl#emu_type"><c>-emu_type</c></seecom>
+      option.
+    </p>
       <pre>
-> <input>erl <seecom marker="erts:erl#emu_type">-emu_type</seecom> debug</input>
+> <input>erl -emu_type debug</input>
 Erlang/OTP 25 [erts-13.0.2] ... <em>[type-assertions] [debug-compiled] [lock-checking]</em>
 
 Eshell V13.0.2  (abort with ^G)
@@ -258,7 +260,7 @@ Eshell V13.0.2  (abort with ^G)
     <title>rr - Record and Replay</title>
     <p>
       Last but not least, the fantastic interactive debugging tool <url
-      href="https://rr-project.org/"><c>rr</c></url>, developed by Mozilla as
+      href="https://rr-project.org/">rr</url>, developed by Mozilla as
       open source. <c>rr</c> stands for Record and Replay. While a core dump
       represents only a static snapshot of the OS process when it crashed, with
       <c>rr</c> you instead record the entire session, from start of the OS
-- 
2.35.3

Places

File 0413-Fix-xmllint-errors-in-debugging.xml.patch of Package erlang

Places