Ignore files generated when building pdf documentation