Fix: exclusion of directories when generating docs with phpdoc2