dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3,469 Commits 7 Branches 138 Tags 1.7 GiB
Commit Graph

6 Commits

Author SHA1 Message Date
Georg Brandl 9a221402e6 Make Python utils more idiomatic, use better names, fix -c mode of update_wiki. 2016-08-07 08:09:26 +02:00
mcarton 3fab9a8970
Fix deploy.sh and python2 usage 2016-07-19 22:07:39 +02:00
mcarton 01c61a714b
Setup automatic push of gh-pages 2016-07-19 21:26:16 +02:00
Pascal Hertleif 8dad2ced7a HMTL Docs: Add Configuration, Fix Example Section 2016-07-15 13:08:04 +02:00
Pascal Hertleif bbbd0a5475 Adjust HTML Docs 
- Section IDs, with handy anchor links
- Multiple filters for levels
- Table rendering, block quote size
- Nicer loading (hide un-rendered content)
- Code highlighting (only for Rust, of course!)
- Fix parsing of descriptions that have a newline after the section
  title (lead to duplicating the title, e.g., "Examples", in the
  content)
 2016-07-14 21:00:20 +02:00
Pascal Hertleif ba9eda7236 Add First Draft of Lint Listing Page 2016-07-12 16:31:13 +02:00