diff options
| -rw-r--r-- | erts/doc/src/erl_ext_dist.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/doc/src/erl_ext_dist.xml b/erts/doc/src/erl_ext_dist.xml index 29c6694a6b..ca55c6233c 100644 --- a/erts/doc/src/erl_ext_dist.xml +++ b/erts/doc/src/erl_ext_dist.xml @@ -137,6 +137,7 @@ </section> <section> + <marker id="distribution_header"/> <title>Distribution Header</title> <p> The distribution header only contains an atom cache |