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

It was added to EXTRA_DIST in 3c3e5f4276, but this script only makes sense for developers.
2014-09-25 18:19:04 -04:00
parent ef99aec4d2
commit 0b094b10b4
1 changed files with 0 additions and 1 deletions
@@ -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

 # ------------------------------------------------------------------------------