noc.git
8 years agoCrib style from Nos oignons
nicoo [Thu, 17 Dec 2015 21:40:09 +0000 (22:40 +0100)]
Crib style from Nos oignons

8 years agoadded clean and serve targets to Makefile
Christian Pointner [Thu, 17 Dec 2015 21:36:35 +0000 (22:36 +0100)]
added clean and serve targets to Makefile

8 years agodoc: Build more nicely locally
nicoo [Thu, 17 Dec 2015 21:24:14 +0000 (22:24 +0100)]
doc: Build more nicely locally

8 years agodoc/.gitignore: Terminating linebreak
nicoo [Thu, 17 Dec 2015 21:17:52 +0000 (22:17 +0100)]
doc/.gitignore: Terminating linebreak

8 years agodoc: Build using a Makefile
nicoo [Thu, 17 Dec 2015 21:17:15 +0000 (22:17 +0100)]
doc: Build using a Makefile

8 years agoUse the right locale; no userdirs
nicoo [Thu, 17 Dec 2015 21:11:44 +0000 (22:11 +0100)]
Use the right locale; no userdirs

8 years agoDisable useless plugins
nicoo [Thu, 17 Dec 2015 21:09:01 +0000 (22:09 +0100)]
Disable useless plugins

8 years agoCmment out destdir
nicoo [Thu, 17 Dec 2015 21:08:23 +0000 (22:08 +0100)]
Cmment out destdir

8 years agoindex: Add how to build the doc
nicoo [Thu, 17 Dec 2015 21:07:19 +0000 (22:07 +0100)]
index: Add how to build the doc

8 years agoInitializing the wiki
nicoo [Thu, 17 Dec 2015 20:59:03 +0000 (21:59 +0100)]
Initializing the wiki