From 39b261651767a1d5172fbe85c2f30a59a13e666b Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 16 Nov 2012 16:51:50 -0800
Subject: factor: tidy up primes.h again

See Stefano Lattarini in <http://bugs.gnu.org/12899>.
* src/local.mk (BUILT_SOURCES): Put $(top_srcdir)/src/primes.h here
(MAINTAINERCLEANFILES): ... instead of here.
---
 src/local.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/local.mk b/src/local.mk
index 02a9bf55d..ead3b8b90 100644
--- a/src/local.mk
+++ b/src/local.mk
@@ -385,7 +385,7 @@ src/dircolors.h: src/dcgen src/dircolors.hin
 # built only if absent.  It is not cleaned because we don't want to
 # insist that maintainers must build on hosts that support the widest
 # known ints (currently 128-bit).
-MAINTAINERCLEANFILES += $(top_srcdir)/src/primes.h
+BUILT_SOURCES += $(top_srcdir)/src/primes.h
 $(top_srcdir)/src/primes.h:
 	$(MAKE) src/make-prime-list
 	$(AM_V_GEN)rm -f $@ $@-t
-- 
cgit v1.2.3-54-g00ecf