diff options
| author | Javier Jardón <jjardon@gnome.org> | 2012-04-17 15:17:27 +0100 |
|---|---|---|
| committer | Kay Sievers <kay@vrfy.org> | 2012-04-17 17:01:21 +0200 |
| commit | 92ec4495f76a7a2a6c31f5bb2a5240f78dcfe1d2 (patch) | |
| tree | 468cd0a008b9bc7fd8f2766507b1f197abeda715 /autogen.sh | |
| parent | 512dabcdc65eece0bcebb4f971ec34794be8d35d (diff) | |
build-sys: make gtk-doc dependency optional
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 0e1b5bedf6..869632abb0 100755 --- a/autogen.sh +++ b/autogen.sh @@ -21,7 +21,17 @@ if [ -f .git/hooks/pre-commit.sample -a ! -f .git/hooks/pre-commit ] ; then echo "Activated pre-commit hook." fi -gtkdocize +GTKDOCIZE=`which gtkdocize` +if test -z $GTKDOCIZE; then + echo "You don't have gtk-doc installed, and thus" + echo "won't be able to generate the documentation." + NOGTKDOC=1 + echo 'EXTRA_DIST =' > gtk-doc.make +fi + +if test -z "$NOGTKDOC"; then + gtkdocize || exit $? +fi intltoolize --force --automake autoreconf --force --install --symlink |