From cbef7064ee299f9463c2b6a0a274fe6603aedae9 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Wed, 29 Aug 2018 15:09:18 +0200 Subject: erts: Fix more internal docs xmllint --- erts/doc/src/Makefile | 2 +- erts/doc/src/internal.xml | 9 +++------ 2 files changed, 4 insertions(+), 7 deletions(-) (limited to 'erts/doc') diff --git a/erts/doc/src/Makefile b/erts/doc/src/Makefile index 8f0e47f85f..c8e9a42d48 100644 --- a/erts/doc/src/Makefile +++ b/erts/doc/src/Makefile @@ -75,7 +75,7 @@ XML_INTERNAL_FILES = \ CodeLoading.xml \ Tracing.xml \ DelayedDealloc.xml \ - beam_makeops.xml \ + beam_makeops.xml \ GarbageCollection.xml \ PTables.xml \ PortSignals.xml \ diff --git a/erts/doc/src/internal.xml b/erts/doc/src/internal.xml index e5f3d9f3fd..559cf5d2f4 100644 --- a/erts/doc/src/internal.xml +++ b/erts/doc/src/internal.xml @@ -29,18 +29,15 @@ 4.5.2 internal.xml - - - + + - --> + - -- cgit v1.2.3