From 640064158f2e0d4783cbcbc0fa4e2bff86dbe86d Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Mon, 26 Jun 2023 16:49:51 +0300 Subject: Make changes required for CI --- buildfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'buildfile') 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 -- cgit v1.1