From 6215f0540a7cf8c0afbed85079eea2463b5ec035 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Sun, 31 Jan 2016 11:35:59 +0200 Subject: Nicer way to not install INSTALL files --- buildfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'buildfile') diff --git a/buildfile b/buildfile index 5bb9dd9..dbf0e1d 100644 --- a/buildfile +++ b/buildfile @@ -6,4 +6,4 @@ d = build2/ tests/ ./: $d doc{INSTALL LICENSE version} file{INSTALL.cli bootstrap manifest} include $d -$src_base/doc{INSTALL}: install = false +doc{INSTALL*}: install = false -- cgit v1.1