On Fri, Nov 15, 2013 at 9:33 AM, Gaetan <[email protected]> wrote: > after reading this doc, I would love to have: > - have a link at the bottom page to the github project > - submit one or several pullrequest > - doc is magically updated. > > I'm investigating on this matter to ease documentation. That's is quite > interesting, because in my everyday job (I'm a python developer for a > buildbot derived project) I'm in a "write tools to ease code documentation > and user manual maintainance" mood :)
It gets updated by the doc builder when a pull request is merged. A pull request will run through the auto builders before being merged, including extracting and testing the samples in the tutorial. http://buildbot.rust-lang.org/ http://buildbot.rust-lang.org/bors/bors.html _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
