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