Hi Tails,
to have a shorter build time, I'd like to exclude wiki. Is it possible ?
Thank you
git grep -w build-wiki
git grep -w build-wikiwill point you to the place you want.