aboutsummaryrefslogtreecommitdiff
path: root/buildfile
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
commit521ba3f0c12f9461be38bb02242fd804d90d74e7 (patch)
tree5b6d057f1e1898bfd9f4e349506a7967ece5a389 /buildfile
parent42aefdde59788b3b61c5523705e6522632969997 (diff)
Use legal{} target type for legal documentation (LICENSE, AUTHORS, etc)
Diffstat (limited to 'buildfile')
-rw-r--r--buildfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/buildfile b/buildfile
index 75a619a..0567cba 100644
--- a/buildfile
+++ b/buildfile
@@ -6,7 +6,7 @@ sh{*}: extension =
./: {*/ -build/} \
sh{bootstrap buildos genmacaddr init qemu-ifup} file{buildos.service} \
- doc{INSTALL LICENSE NEWS README} \
+ doc{INSTALL NEWS README} legal{LICENSE} \
manifest
# Don't install INSTALL file. Scripts and buildos.service are installed by the