Browse Source

git: improved to build/install man pages if 'xmlto' package is installed

stable/0.2
Christian Wiese 14 years ago
parent
commit
43eee6f686
1 changed files with 6 additions and 0 deletions
  1. +6
    -0
      develop/git/git.conf

+ 6
- 0
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() {

Loading…
Cancel
Save