Rework doc-handing make rules and remove generated files from version control.