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