aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2020-08-01 14:00:04 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2020-08-01 14:00:04 +0300
commit8546ace148164b6a3579855d044c390c28edcc16 (patch)
tree13df6105b15d0aa770db7042b0f1d58db7a93caf
parent20fc287c13e7ff041d0d63c1466b0c07ccc3c4d5 (diff)
Use legal{} target type for legal documentation (LICENSE, AUTHORS, etc)
-rw-r--r--buildfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/buildfile b/buildfile
index f656924..78b5d08 100644
--- a/buildfile
+++ b/buildfile
@@ -1,7 +1,7 @@
# file : buildfile
# license : GNU GPL v3; see accompanying LICENSE file
-./: {*/ -build/ -m4/} doc{GPLv3 INSTALL LICENSE NEWS README} manifest
+./: {*/ -build/ -m4/} doc{INSTALL NEWS README} legal{GPLv3 LICENSE} manifest
# Don't install tests or the INSTALL file.
#