From 0b094b10b4268383c836fa4f285e02ba25ed3ad0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Thu, 25 Sep 2014 17:39:56 -0400 Subject: [PATCH] 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. --- Makefile.am | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index 065d688eb..bf860cdc0 100644 --- 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 # ------------------------------------------------------------------------------ -- 2.30.2