diff options
Diffstat (limited to 'erts/doc/src/Makefile')
-rw-r--r-- | erts/doc/src/Makefile | 3 |
1 files changed, 2 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 = \ |