diff options
Diffstat (limited to 'erts/doc/src/internal.xml')
-rw-r--r-- | erts/doc/src/internal.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/doc/src/internal.xml b/erts/doc/src/internal.xml index 559cf5d2f4..88609d492a 100644 --- a/erts/doc/src/internal.xml +++ b/erts/doc/src/internal.xml @@ -35,6 +35,7 @@ <xi:include href="Tracing.xml"/> <xi:include href="DelayedDealloc.xml"/> <xi:include href="beam_makeops.xml"/> + <xi:include href="CountingInstructions.xml"/> <xi:include href="GarbageCollection.xml"/> <xi:include href="PTables.xml"/> <xi:include href="PortSignals.xml"/> |