Thanks --- you already mentioned the function was there. My
problem was that I didn't know about it and didn't see it scanning
the index. Of course, I saw it in the doc as soon as you pointed me to it.
(Speaking of which, the reason I didn't find the building from
source is that you had an index that didn't include it. I updated
and organized the index with some descriptions. Thanks again for
putting it there in the first place.)
I do NOT think this should go in the getting started docs.
- Bob
> stan-dev+unsubscribe@__
googlegroups.com <mailto:
stan-dev%2Bunsu...@googlegroups.com>.
> For more options, visit
https://groups.google.com/__groups/opt_out <
https://groups.google.com/groups/opt_out>.
>
>
> --
> You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
stan-dev+u...@googlegroups.com.