Commit graph

12 commits

Author SHA1 Message Date
Jeremy Stucki
df211ff467
Ignore lines starting with '#' 2019-08-18 18:04:18 +02:00
Andy Russell
4ce100beb2
don't strip blank lines in lint documentation 2019-06-23 16:21:43 -04:00
Philipp Hansch
38d4ac7cea
Remove all copyright license headers
Discussion previously happened in https://github.com/rust-lang/rust/pull/43498
2019-01-08 21:46:39 +01:00
Manish Goregaokar
23e5e24f52 Add license header to other files 2018-10-06 09:43:08 -07:00
Pascal Hertleif
b46a3e5324 Add lint groups to doc export 2018-04-10 12:23:41 +02:00
Philipp Hansch
5c28cd259a
Allow empty lines in lint doc examples
This makes sure that empty lines in lint examples are preserved.

It also fixes the documentation for the invalid_ref lint, which was not
shown because of an extra newline before the lint declaration.
2018-02-01 23:21:36 +01:00
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