diff options
| author | Micael Karlberg <[email protected]> | 2019-02-12 17:37:35 +0100 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2019-02-22 19:45:53 +0100 |
| commit | 89199d9892e59980f2eca66b561d26cb53f694da (patch) | |
| tree | 4f131f66ee99a066308ec2c49db5e9f4bc735563 /erts/doc/src | |
| parent | 2b268fb6ac18956a3d5d55eea57fdc461d5ef7bf (diff) | |
| download | otp-89199d9892e59980f2eca66b561d26cb53f694da.tar.gz otp-89199d9892e59980f2eca66b561d26cb53f694da.tar.bz2 otp-89199d9892e59980f2eca66b561d26cb53f694da.zip | |
[socket|doc] Forgot to run xmllint (again)
Diffstat (limited to 'erts/doc/src')
| -rw-r--r-- | erts/doc/src/Makefile | 2 | ||||
| -rw-r--r-- | erts/doc/src/socket.xml | 16 |
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 |