diff options
| -rw-r--r-- | erts/doc/src/Makefile | 3 | ||||
| -rw-r--r-- | erts/doc/src/internal.xml | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/erts/doc/src/Makefile b/erts/doc/src/Makefile index 3cfc2799cd..bc01919da1 100644 --- a/erts/doc/src/Makefile +++ b/erts/doc/src/Makefile @@ -80,7 +80,8 @@ XML_INTERNAL_FILES = \ PTables.xml \ PortSignals.xml \ ProcessManagementOptimizations.xml \ - SuperCarrier.xml + SuperCarrier.xml \ + CountingInstructions.xml XML_CHAPTER_FILES = \ 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"/> |