aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--erts/doc/src/Makefile2
-rw-r--r--erts/doc/src/socket.xml16
2 files changed, 10 insertions, 8 deletions
diff --git a/erts/doc/src/Makefile b/erts/doc/src/Makefile
index fdfd81c2f3..06a8691c0e 100644
--- a/erts/doc/src/Makefile
+++ b/erts/doc/src/Makefile
@@ -149,6 +149,8 @@ $(INFO_FILE): $(INFO_FILE_SRC) $(ERL_TOP)/make/$(TARGET)/otp.mk
debug opt:
+ldocs: xmllint local_docs
+
clean:
rm -rf $(HTMLDIR)/*
rm -rf $(XMLDIR)
diff --git a/erts/doc/src/socket.xml b/erts/doc/src/socket.xml
index 8a68ee3e90..05ffc8f074 100644
--- a/erts/doc/src/socket.xml
+++ b/erts/doc/src/socket.xml
@@ -305,9 +305,9 @@
on what kind of socket it is (<c>domain</c>, <c>type</c> and
<c>protocol</c>).</p>
- See the
+ <p>See the
<seealso marker="socket_usage#socket_options">socket options</seealso>
- chapter of the users guide for more info.
+ chapter of the users guide for more info. </p>
<note><p>Not all options are valid on all platforms. That is,
even if "we" support an option, that does not mean that the
@@ -328,9 +328,9 @@
using "native mode", it is *currently* up to the caller to
know how to interpret the result.</p>
- See the
+ <p>See the
<seealso marker="socket_usage#socket_options">socket options</seealso>
- chapter of the users guide for more info.
+ chapter of the users guide for more info. </p>
<note><p>Not all options are valid on all platforms. That is,
even if "we" support an option, that does not mean that the
@@ -513,9 +513,9 @@
what kind of socket it is (<c>domain</c>, <c>type</c> and
<c>protocol</c>).</p>
- See the
+ <p>See the
<seealso marker="socket_usage#socket_options">socket options</seealso>
- chapter of the users guide for more info.
+ chapter of the users guide for more info. </p>
<note><p>Not all options are valid on all platforms. That is,
even if "we" support an option, that does not mean that the
@@ -536,9 +536,9 @@
what kind of socket it is (<c>domain</c>, <c>type</c> and
<c>protocol</c>).</p>
- See the
+ <p>See the
<seealso marker="socket_usage#socket_options">socket options</seealso>
- chapter of the users guide for more info.
+ chapter of the users guide for more info. </p>
<note><p>Not all options are valid on all platforms. That is,
even if "we" support an option, that does not mean that the