chiark / gitweb /
build-sys: do not distribute make-man-rules.py
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 25 Sep 2014 21:39:56 +0000 (17:39 -0400)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 25 Sep 2014 22:19:04 +0000 (18:19 -0400)
It was added to EXTRA_DIST in 3c3e5f4276a893791110b03984735654372aa33a,
but this script only makes sense for developers.

Makefile.am

index 065d688..bf860cd 100644 (file)
@@ -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
 
 # ------------------------------------------------------------------------------