aboutsummaryrefslogtreecommitdiff
path: root/buildfile
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2024-05-23 17:43:08 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2024-05-23 17:57:12 +0300
commiteb6d20da46b2b88d4c730cb7bf06430d97ab0735 (patch)
tree6110e9b563e31089448b0e4f54ce38285c209101 /buildfile
parente1761a021d05290dae500a545f19135748a8860d (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 da08ca9..09f1c20 100644
--- a/buildfile
+++ b/buildfile
@@ -1,7 +1,7 @@
# file : buildfile
# license : MIT; see accompanying LICENSE file
-./: {*/ -build/} \
+./: {*/ -build/ -doc/} \
doc{INSTALL NEWS README} legal{LICENSE AUTHORS LEGAL} \
manifest