Lluís Batlle i Rossell 8a9ba8c382 git: adding an option not to build the manual ... asciidoc+xsltproc take hours to run		2013-01-28 21:24:52 +01:00
..
default.nix	git: adding an option not to build the manual	2013-01-28 21:24:52 +01:00
docbook2texi.patch	Re-added the description of this patch, which was accidentally	2009-07-02 17:05:55 +00:00