Fix build creating placeholders for missing docs#9721

javiereguiluz wants to merge 3 commits intosymfony:2.7symfony/symfony-docs:2.7from

javiereguiluz:fix_buildjaviereguiluz/symfony-docs:fix_buildCopy head branch name to clipboard