On Mon, Jul 15, 2013 at 9:03 AM, Jordi Boggiano <[email protected]> wrote: > [snip] > - Full reorganization of the doc blocks with special tags/annotations à > la javadoc [2], I am not a particular fan of that but for special things > it does serve it's purpose and has the advantage of being somewhat > widespread. >
For some things, we can attach an attribute to the item. For example, https://github.com/mozilla/rust/issues/723 would be included in the documentation somehow, rather than the Javadoc-like solution of in-comment annotation. _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
