aboutsummaryrefslogtreecommitdiff
path: root/buildfile
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2024-04-24 15:23:42 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2024-04-24 15:23:42 +0300
commit72423477604375be9ae710e3e795925a5c0b4079 (patch)
tree7d2d6eefe6df5414c2fe86041d2f30e61260e3c2 /buildfile
parentbef880fc4964a69ff808e17626c2be4babf1a9ea (diff)
Make changes required for CI
Diffstat (limited to 'buildfile')
-rw-r--r--buildfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/buildfile b/buildfile
index 17ba8ab..c375238 100644
--- a/buildfile
+++ b/buildfile
@@ -1,7 +1,7 @@
# file : buildfile
# license : MIT; see accompanying LICENSE file
-./: {*/ -build/ -web/} \
+./: {*/ -build/ -web/ -doc/} \
doc{NEWS README INSTALL*} legal{LICENSE AUTHORS LEGAL} \
manifest