From 768790eab73406e1570e4c7f11cc3c784a16ee53 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tim=20R=C3=BChsen?= Date: Fri, 23 Jan 2015 12:19:50 +0100 Subject: [PATCH] explicitely remove gtk-doc.make if gtkdoc is not installed --- autogen.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/autogen.sh b/autogen.sh index c98e715..2c6dc20 100755 --- a/autogen.sh +++ b/autogen.sh @@ -12,6 +12,8 @@ mkdir m4 2>/dev/null GTKDOCIZE=`which gtkdocize 2>/dev/null` if test $? -ne 0; then echo "No gtk-doc support found. You can't build the docs." + # rm because gtk-doc.make might be a link to a protected file + rm -f gtk-doc.make 2>/dev/null echo "EXTRA_DIST =" >gtk-doc.make echo "CLEANFILES =" >>gtk-doc.make GTKDOCIZE=""