git: do not do install-doc when !withManual