From dd99e32d9254152cdbbb1c075ff7131ae4862f91 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Mon, 18 Nov 2024 17:16:25 +0200 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 333d727..8a8575d 100644 --- a/buildfile +++ b/buildfile @@ -1,7 +1,7 @@ # file : buildfile # license : MIT; see accompanying LICENSE file -./: {*/ -tests/ -build/} \ +./: {*/ -tests/ -build/ -doc/} \ doc{INSTALL NEWS README} legal{LICENSE} \ manifest -- cgit v1.1