summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Christian Pointner [Thu, 17 Dec 2015 21:36:35 +0000 (22:36 +0100)]
added clean and serve targets to Makefile
nicoo [Thu, 17 Dec 2015 21:24:14 +0000 (22:24 +0100)]
doc: Build more nicely locally
nicoo [Thu, 17 Dec 2015 21:17:52 +0000 (22:17 +0100)]
doc/.gitignore: Terminating linebreak
nicoo [Thu, 17 Dec 2015 21:17:15 +0000 (22:17 +0100)]
doc: Build using a Makefile
nicoo [Thu, 17 Dec 2015 21:11:44 +0000 (22:11 +0100)]
Use the right locale; no userdirs
nicoo [Thu, 17 Dec 2015 21:09:01 +0000 (22:09 +0100)]
Disable useless plugins
nicoo [Thu, 17 Dec 2015 21:08:23 +0000 (22:08 +0100)]
Cmment out destdir
nicoo [Thu, 17 Dec 2015 21:07:19 +0000 (22:07 +0100)]
index: Add how to build the doc
nicoo [Thu, 17 Dec 2015 20:59:03 +0000 (21:59 +0100)]
Initializing the wiki