K 10 svn:author V 4 bapt K 8 svn:date V 27 2020-09-18T20:54:14.811700Z K 7 svn:log V 379 Always prevent building valadoc. The build system check for valadoc, if found in the environement then it will be used to generate the devhelp documentation. otherwise no. This behaviour is not optionable, so disable entirely the generation with a patch for now. note that in a clean environement it does not happen as valadoc is not present. PR: 249423 Reported by: mandree END