Thu, 09 Jan 2014 21:22:00 -0800 | Pierre-Yves David | doc: smarter make file | file | diff | annotate |
Tue, 11 Sep 2012 16:17:11 +0200 | Pierre-Yves David | docs: fix makefile | file | diff | annotate |
Tue, 11 Sep 2012 15:59:27 +0200 | Pierre-Yves David | doc: add a logo | file | diff | annotate |
Fri, 11 May 2012 11:42:59 +0200 | Pierre-Yves David | [doc] change doc generation directory | file | diff | annotate |