ninja sources include re2c's output files, so unless we change the sources by applying a patch, re2c is not even launched anyway, it is not relevant to building docs
ninja sources include re2c's output files, so unless we change the sources by applying a patch, re2c is not even launched anyway, it is not relevant to building docs