]> git.lizzy.rs Git - rust.git/commit
auto merge of #10642 : cmr/rust/strict_doccomment, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 27 Nov 2013 23:32:18 +0000 (15:32 -0800)
committerbors <bors@rust-lang.org>
Wed, 27 Nov 2013 23:32:18 +0000 (15:32 -0800)
commitd2c405eeff3930bf0c0777f06108a2eedcd456f6
tree0672956c3f38a15d76316f27171bd663520a8659
parentd662820b297f0ecda17126577571fcf886bdac81
parentb50b1628840daf849e548c83372f85bc13092314
auto merge of #10642 : cmr/rust/strict_doccomment, r=alexcrichton

Previously, `//// foo` and `/*** foo ***/` were accepted as doc comments. This
changes that, so that only `/// foo` and `/** foo ***/` are accepted. This
confuses many newcomers and it seems weird.

Also update the manual for these changes, and modernify the EBNF for comments.

Closes #10638