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