Fix "make dist"

This commit is contained in:
Michał Kępień 2020-07-03 10:36:15 +02:00
parent fc6d0a932b
commit 49c62f3e8e

View file

@ -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 \