diff options
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 56fe5dcd49..fc418f5d48 100644 --- a/Makefile.am +++ b/Makefile.am @@ -127,6 +127,7 @@ install-exec-hook: ### in the distributed tarball: EXTRA_DIST = tools/system_messages.py EXTRA_DIST += tools/path_replacer.sh +EXTRA_DIST += tools/mk_cfgrpt.sh #### include external sources in the distributed tarball: EXTRA_DIST += ext/asio/README |