Auto merge of #34611 - Manishearth:rollup, r=Manishearth

Rollup of 7 pull requests

- Successful merges: #34531, #34545, #34551, #34566, #34567, #34574, #34583
- Failed merges:
This commit is contained in:
bors
2016-07-02 03:18:59 -07:00
committed by GitHub
18 changed files with 432 additions and 164 deletions

View File

@@ -119,7 +119,7 @@ $ make && make install
If youd like to build the documentation, its almost the same:
```sh
./configure
$ ./configure
$ make docs
```