From 43eb998067345feb86dcf8b814b6777500f001a8 Mon Sep 17 00:00:00 2001 From: Christian Wiese Date: Wed, 2 Mar 2011 01:01:46 +0100 Subject: [PATCH] git: changed to build html and man pages if 'asciidoc' and 'xmlto' packages are effectively installed --- develop/git/git.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/develop/git/git.conf b/develop/git/git.conf index 49346a7b8..501f69451 100644 --- a/develop/git/git.conf +++ b/develop/git/git.conf @@ -24,11 +24,11 @@ var_append makeopt ' ' 'gitweb' var_append makeinstopt ' ' 'gitwebdir=$root$docdir/gitweb' var_append makeinstopt ' ' 'install-gitweb' -if pkginstalled asciidoc; then +if pkginstalled -f asciidoc; then var_append makeopt ' ' 'html' var_append makeinstopt ' ' 'install-html' # build/install man pages - if pkginstalled xmlto; then + if pkginstalled -f xmlto; then var_append makeopt ' ' 'man' var_append makeinstopt ' ' 'install-man' fi