]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12364 : Armavica/rust/mk-tips, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 19 Feb 2014 08:56:51 +0000 (00:56 -0800)
committerbors <bors@rust-lang.org>
Wed, 19 Feb 2014 08:56:51 +0000 (00:56 -0800)
The command `make tips` did not work properly because of a flaw in the regexp parsing Makefile.in for documentation (`SHOW_DOCS`). I fixed it and also added a note about `make clean` in the build documentation (`make help`).


Trivial merge