https://pulumi.com logo
Title
e

eager-area-86739

09/08/2018, 5:12 PM
How can I update the documentation?
c

colossal-beach-47527

09/08/2018, 5:13 PM
All 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 PM
The documentation is not automagicaly generated from the code?
c

colossal-beach-47527

09/08/2018, 5:14 PM
The code reference docs are. So it might just be a matter of bumping the version we pickup and render.
Let me take a look.
Yes, 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 PM
Thanks for the update. Keep the good work! 🙂
👍🏽 1