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