Fix "make dist"

diff --git a/doc/arm/Makefile.am b/doc/arm/Makefile.am
index ce17e48bc85b09302eae33f898292fd3e006d3e9..79244292e23ad3d862b89de9620e9a9c74a23aaa 100644 (file)
--- a/doc/arm/Makefile.am
+++ b/doc/arm/Makefile.am
@@ -33,9 +33,9 @@ EXTRA_DIST =                                  \
        ../misc/logging.grammar.rst             \
        ../misc/managed-keys.grammar.rst        \
        ../misc/master.zoneopt.rst              \
-       ../misc/masters.grammar.rst             \
        ../misc/mirror.zoneopt.rst              \
        ../misc/options.grammar.rst             \
+       ../misc/primaries.grammar.rst           \
        ../misc/redirect.zoneopt.rst            \
        ../misc/server.grammar.rst              \
        ../misc/slave.zoneopt.rst               \