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