Make changes required for CIci

1 files changed, 1 insertions, 1 deletions

diff --git a/buildfile b/buildfile
index da08ca9..e44588c 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