Is the used any more?

We have a script sitting at the top level of the Stan repo (stan-dev/stan) called Is it used any more?

If not, I’ll create an issue to remove. If it is, can we move it under src/doc?

I haven’t run it for like 5 releases. No one was uploading the diffed manual anywhere.

Ok. I’ll create an issue to remove it.

Not that I know of. This is probably all going to be moot
soon when we move the manual to some kind of online doc.

  • Bob