diff options
Diffstat (limited to 'buildfile')
-rw-r--r-- | buildfile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/buildfile b/buildfile new file mode 100644 index 0000000..637aaba --- /dev/null +++ b/buildfile @@ -0,0 +1,11 @@ +# file : buildfile +# copyright : Copyright (c) 2009-2017 Code Synthesis Tools CC +# license : GNU GPL v2; see accompanying LICENSE file + +./: {*/ -build/ -m4/} doc{GPLv2 INSTALL LICENSE NEWS README version} \ + file{manifest} + +# Don't install tests or the INSTALL file. +# +dir{tests/}: install = false +doc{INSTALL}@./: install = false |