noc.git
8 years agoadd info about make serve target
Christian Pointner [Thu, 17 Dec 2015 23:11:33 +0000 (00:11 +0100)]
add info about make serve target

8 years agofixed sidebar theming
Christian Pointner [Thu, 17 Dec 2015 23:08:51 +0000 (00:08 +0100)]
fixed sidebar theming

8 years agoindex: Minor edit
nicoo [Thu, 17 Dec 2015 22:47:59 +0000 (23:47 +0100)]
index: Minor edit

8 years agoAdd Servers page and sidebar
nicoo [Thu, 17 Dec 2015 22:47:40 +0000 (23:47 +0100)]
Add Servers page and sidebar

8 years agoimproved ikiwiki themeing
Christian Pointner [Thu, 17 Dec 2015 22:41:53 +0000 (23:41 +0100)]
improved ikiwiki themeing

8 years agodoc/: We are using make
nicoo [Thu, 17 Dec 2015 21:50:59 +0000 (22:50 +0100)]
doc/: We are using make

8 years agodoc/local.css: Better margins for the logo
nicoo [Thu, 17 Dec 2015 21:49:23 +0000 (22:49 +0100)]
doc/local.css: Better margins for the logo

8 years agodoc/index: Fix markdown syntax
nicoo [Thu, 17 Dec 2015 21:46:00 +0000 (22:46 +0100)]
doc/index: Fix markdown syntax

8 years agoikiwiki: Use --refresh
nicoo [Thu, 17 Dec 2015 21:44:56 +0000 (22:44 +0100)]
ikiwiki: Use --refresh

8 years agoExpand a bit the index
nicoo [Thu, 17 Dec 2015 21:42:32 +0000 (22:42 +0100)]
Expand a bit the index

Mostly, to not have an empty <h1>

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