aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-07-01 08:41:33 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-07-01 08:41:33 +0200
commit66f0573794549f53a0c66fb0c0afe9ade645bbd1 (patch)
treea768f3c7ac7f6defc5c80656a98dbe6c44a7f822
parent5b845435dc330c312976b1eef59913da370572cc (diff)
Use legal{} target type for legal documentation (LICENSE, AUTHORS, etc)
-rw-r--r--buildfile9
1 files changed, 5 insertions, 4 deletions
diff --git a/buildfile b/buildfile
index d889151..602069a 100644
--- a/buildfile
+++ b/buildfile
@@ -17,10 +17,11 @@ BOOTSTRAP-WINDOWS-MSVC \
BOOTSTRAP-WINDOWS-CLANG \
BOOTSTRAP-WINDOWS-MINGW
-./: $d \
- doc{$i LICENSE AUTHORS README} \
- cli{$i} \
- file{build.sh build-*} \
+./: $d \
+ doc{$i README} \
+ legal{LICENSE AUTHORS} \
+ cli{$i} \
+ file{build.sh build-*} \
manifest
# Don't install the BOOTSTRAP/INSTALL files. But UPGRADE could be useful.