about summary refs log tree commit diff
path: root/util/export.py
AgeCommit message (Collapse)AuthorLines
2019-08-18Ignore lines starting with '#'Jeremy Stucki-1/+12
2019-06-23don't strip blank lines in lint documentationAndy Russell-12/+9
2019-01-08Remove all copyright license headersPhilipp Hansch-11/+0
Discussion previously happened in https://github.com/rust-lang/rust/pull/43498
2018-10-06Add license header to other filesManish Goregaokar-0/+12
2018-04-10Add lint groups to doc exportPascal Hertleif-0/+1
2018-02-01Allow empty lines in lint doc examplesPhilipp Hansch-3/+8
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.
2016-08-07Make Python utils more idiomatic, use better names, fix -c mode of update_wiki.Georg Brandl-127/+29
2016-07-19Fix deploy.sh and python2 usagemcarton-3/+3
2016-07-19Setup automatic push of gh-pagesmcarton-5/+22
2016-07-15HMTL Docs: Add Configuration, Fix Example SectionPascal Hertleif-5/+20
2016-07-14Adjust HTML DocsPascal Hertleif-5/+8
- 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-12Add First Draft of Lint Listing PagePascal Hertleif-0/+127