aboutsummaryrefslogtreecommitdiff
path: root/docs.py
Commit message (Collapse)AuthorAgeFilesLines
* Use html_logo_url instead of a doc scriptAustin Hellyer2016-11-291-12/+0
| | | | | | | | | | The script was made with the eventual purpose to build custom docs. This has been replaced by [cargo-external-doc], which was released a few days after the script was added. Since the only other purpose of the script besides adding the image has been fulfilled by another crate, we can just utilize a rustdoc attribute to do this.
* Add doc modification scriptAustin Hellyer2016-11-071-0/+12
This is a script to modify the docs in some fashion. Right now it just adds an image to the header, but it will replace a couple of other things, in a nicer fashion.