diff --git a/domci.ini b/domci.ini index 3f5c1fd..36f1471 100644 --- a/domci.ini +++ b/domci.ini @@ -1,5 +1,6 @@ [general] [skippedDirs] +dir[] = "./doc/*" dir[] = "./test/*" dir[] = "./Tests/*"