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