If heart should not kill the Erlang runtime system, this can be indicated
+
If heart should not kill the Erlang runtime system, this can be indicated
using the environment variable .
This can be useful if the command executed by heart takes care of this,
for example as part of a specific cleanup sequence.
diff --git a/lib/kernel/doc/src/kernel_app.xml b/lib/kernel/doc/src/kernel_app.xml
index dc0291babe..fb6421e1c5 100644
--- a/lib/kernel/doc/src/kernel_app.xml
+++ b/lib/kernel/doc/src/kernel_app.xml
@@ -215,16 +215,16 @@
Defines the First..Last port range for the listener
socket of a distributed Erlang node.
- {inet_dist_listen_options, Opts}
+
Defines a list of extra socket options to be used when opening the
listening socket for a distributed Erlang node.
See gen_tcp:listen/2.
- {inet_dist_connect_options, Opts}
+
Defines a list of extra socket options to be used when connecting to
other distributed Erlang nodes.
See gen_tcp:connect/4.
diff --git a/lib/stdlib/doc/src/queue.xml b/lib/stdlib/doc/src/queue.xml
index a46ca47033..9f3aff03a3 100644
--- a/lib/stdlib/doc/src/queue.xml
+++ b/lib/stdlib/doc/src/queue.xml
@@ -401,7 +401,7 @@
- v
+ Remove the tail item from a queue.
Returns a queue Q2 that is the result of removing
--
cgit v1.2.3