Cmdstan build on Jenkins - `make manual` failing

cmdstan PR failed - problem making manual. (not touched by this PR, builds on my machine, etc).
how to fix?

This should be an issue for cmdstan.

I think it’s the performance publishing plugin that’s been acting up for some other builds. I took it out of the cmdstan build for now; I scheduled that plugin to update next time Jenkins can restart itself.