| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | add stuff to generate docs. | rsiddharth | 2016-07-11 | 3 | -0/+43 |
| | | | | | | | | | * .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. | ||||
| * | add docs/index.org | rsiddharth | 2016-07-11 | 1 | -0/+1 |
| | | | | | it is a symlink to README.org | ||||
| * | docs/index.org -> README.org | rsiddharth | 2016-07-11 | 1 | -87/+0 |
| | | |||||
| * | rename README.org -> docs/index.org | rsiddharth | 2016-07-11 | 1 | -0/+87 |
