diff options
| -rw-r--r-- | erts/doc/src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/doc/src/Makefile b/erts/doc/src/Makefile index 3dfefa2001..405cf5f47b 100644 --- a/erts/doc/src/Makefile +++ b/erts/doc/src/Makefile @@ -45,6 +45,7 @@ XML_REF1_FILES = epmd.xml \ XML_REF3_FILES = \ driver_entry.xml \ + erl_nif.xml \ erl_set_memory_block.xml \ erl_driver.xml \ erl_prim_loader.xml \ |