git: adding an option not to build the manual

asciidoc+xsltproc take hours to run