diff options
author | Björn Gustavsson <[email protected]> | 2019-04-02 10:03:07 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2019-04-04 12:30:20 +0200 |
commit | 2d9f2307e51606e6234f1ed18d8ba3a7569e38db (patch) | |
tree | 12e6abeb8a93803c61b73b88766b68595542ff66 /erts/doc/src/Makefile | |
parent | e23061fd04350cfbc520a08591d08ef1745f8f0d (diff) | |
download | otp-2d9f2307e51606e6234f1ed18d8ba3a7569e38db.tar.gz otp-2d9f2307e51606e6234f1ed18d8ba3a7569e38db.tar.bz2 otp-2d9f2307e51606e6234f1ed18d8ba3a7569e38db.zip |
Add CountingInstructions to the internal documentation
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 = \ |