aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2020-08-01 13:46:23 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2020-08-01 13:46:23 +0300
commit8259f53b15714aa115db1c43fb8b1b63ddf02bd5 (patch)
tree04fce9dbf7fda1709602f98ad8a7f85d94f26f84
parent3c7d63e17b725f53ad141e595943add3b706293a (diff)
Use legal{} target type for legal documentation (LICENSE, AUTHORS, etc)HEADmaster
-rw-r--r--buildfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/buildfile b/buildfile
index 63cdd01..406853f 100644
--- a/buildfile
+++ b/buildfile
@@ -1,7 +1,7 @@
# file : buildfile
# license : GNU GPL v2; see accompanying LICENSE file
-./: {*/ -build/ -m4/} doc{GPLv2 INSTALL LICENSE NEWS README} manifest
+./: {*/ -build/ -m4/} doc{INSTALL NEWS README} legal{GPLv2 LICENSE} manifest
# Don't install tests or the INSTALL file.
#