From 2d0bc839ede9848b5ac20c7cdf29f8c33cbef926 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 30 Mar 2018 20:42:21 +0200 Subject: build: Remove EXTRA_DIST A "make dist" is not supported. So, it makes no sense to have pure "make dist" related stuff in the Makefile.am. --- cpukit/Makefile.am | 1 - 1 file changed, 1 deletion(-) (limited to 'cpukit/Makefile.am') diff --git a/cpukit/Makefile.am b/cpukit/Makefile.am index 636663e93e..9b1e2304bf 100644 --- a/cpukit/Makefile.am +++ b/cpukit/Makefile.am @@ -88,7 +88,6 @@ if LIBGNAT endif ## HACK: doxygen filter. -EXTRA_DIST = doxy-filter include $(top_srcdir)/automake/subdirs.am include $(top_srcdir)/automake/local.am -- cgit v1.2.3