build-sys: do not distribute make-man-rules.py

It was added to EXTRA_DIST in 3c3e5f4276a893791110b03984735654372aa33a,
but this script only makes sense for developers.

diff --git a/Makefile.am b/Makefile.am
index 065d688ebba799767b1cf41678da1b9e028da58d..bf860cdc0088b98029b5b7456d1dec17242a2095 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -720,7 +720,6 @@ EXTRA_DIST += \
        $(man_MANS) \
        tools/make-man-index.py \
        tools/make-directive-index.py \
-       tools/make-man-rules.py \
        tools/xml_helper.py
 
 # ------------------------------------------------------------------------------