docs/makefile
Tue, 11 Sep 2012 15:59:27 +0200 Pierre-Yves David doc: add a logo stable
Fri, 11 May 2012 11:42:59 +0200 Pierre-Yves David [doc] change doc generation directory
less more (0) -2 tip