From 43eee6f6861587dea3d7377734bca04dfd4d9a7f Mon Sep 17 00:00:00 2001 From: Christian Wiese Date: Wed, 2 Mar 2011 00:59:02 +0100 Subject: [PATCH] git: improved to build/install man pages if 'xmlto' package is installed --- develop/git/git.conf | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/develop/git/git.conf b/develop/git/git.conf index c7ec79069..49346a7b8 100644 --- a/develop/git/git.conf +++ b/develop/git/git.conf @@ -27,6 +27,12 @@ var_append makeinstopt ' ' 'install-gitweb' if pkginstalled asciidoc; then var_append makeopt ' ' 'html' var_append makeinstopt ' ' 'install-html' + # build/install man pages + if pkginstalled xmlto; then + var_append makeopt ' ' 'man' + var_append makeinstopt ' ' 'install-man' + fi + fi git_contrib_install() {