summaryrefslogtreecommitdiffstats
path: root/docs/assets
Commit message (Collapse)AuthorAgeFilesLines
* docs/assets/includes/header.html: Update styling.rsiddharth2017-06-291-1/+3
|
* add stuff to generate docs.rsiddharth2016-07-112-0/+11
* .gitignore: ignore docs/_build directory. * Makefile (docs, push-docs, docs-clean): new targets. * docs/Makefile: new file * docs/assets/includes/header.html: new file. * docs/assets/includes/footer.html: new file.