Move PhD auxiliary-file generation out to php/phd#318

lacatoire wants to merge 2 commits into

php:masterphp/doc-base:masterfrom

lacatoire:drop-phd-generationlacatoire/doc-base:drop-phd-generationCopy head branch name to clipboard