diff options
Diffstat (limited to 'erts/doc/src/Makefile')
-rw-r--r-- | erts/doc/src/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/erts/doc/src/Makefile b/erts/doc/src/Makefile index bc01919da1..a509f33eac 100644 --- a/erts/doc/src/Makefile +++ b/erts/doc/src/Makefile @@ -56,8 +56,7 @@ XML_REF3_EFILES = \ atomics.xml \ counters.xml \ zlib.xml \ - socket.xml \ - net.xml + socket.xml XML_REF3_FILES = \ $(XML_REF3_EFILES) \ |