aboutsummaryrefslogtreecommitdiff
path: root/buildfile
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2024-12-31 14:15:48 +0200
committerKaren Arutyunov <karen@codesynthesis.com>2024-12-31 14:15:48 +0200
commitdc5fd0fb7c151785ee82aaf547af86d5a40efb15 (patch)
tree2215a682b918ac9f686ea046b32dfc8ac66fc1cf /buildfile
parent2ccb11e55e1301e476e044abcfda6887971c518e (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 e10f1c0..c88c55b 100644
--- a/buildfile
+++ b/buildfile
@@ -1,7 +1,7 @@
# file : buildfile
# license : MIT; see accompanying LICENSE file
-./: {*/ -build/ -config/ -old-tests/} \
+./: {*/ -build/ -config/ -old-tests/ -doc/} \
doc{INSTALL NEWS README} legal{LICENSE AUTHORS} \
file{INSTALL.cli bootstrap* config.guess config.sub} \
manifest