This message was deleted.
# contributes
sparse-intern-71089
09/08/2018, 5:12 PMThis message was deleted.
c
colossal-beach-47527
09/08/2018, 5:13 PMAll of https://pulumi.io is managed by https://github.com/pulumi/docs. Pull Requests certainly welcome!
e
eager-area-86739
09/08/2018, 5:14 PMThe documentation is not automagicaly generated from the code?
c
colossal-beach-47527
09/08/2018, 5:14 PMThe code reference docs are. So it might just be a matter of bumping the version we pickup and render.
colossal-beach-47527
09/08/2018, 5:15 PMLet me take a look.
colossal-beach-47527
09/08/2018, 5:17 PMYes, it looks like we generate the code reference docs manually. And we just haven’t updated that particular library in a few weeks.
We’ll be cutting a new Pulumi release (15.0.1 IIRC) early next week, and will be sure to update the docs then.
e
eager-area-86739
09/08/2018, 5:23 PMThanks for the update. Keep the good work! 🙂
👍🏽 1