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.