2015-12-17 | nicoo | doc: Build more nicely locally | tree | commitdiff |
2015-12-17 | nicoo | doc/.gitignore: Terminating linebreak | tree | commitdiff |
2015-12-17 | nicoo | doc: Build using a Makefile | tree | commitdiff |
2015-12-17 | nicoo | Use the right locale; no userdirs | tree | commitdiff |
2015-12-17 | nicoo | Disable useless plugins | tree | commitdiff |
2015-12-17 | nicoo | Cmment out destdir | tree | commitdiff |
2015-12-17 | nicoo | index: Add how to build the doc | tree | commitdiff |
2015-12-17 | nicoo | Initializing the wiki | tree | commitdiff |