From 1bfc9c539ccb37024fcb9aeafdf9d14c11903396 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Thu, 14 Jun 2012 23:58:55 +0000 Subject: [PATCH] Really look for gtk-doc documentation instead of manual pages --- src/deforaos-update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/deforaos-update.sh b/src/deforaos-update.sh index ae17846..c94f3d8 100755 --- a/src/deforaos-update.sh +++ b/src/deforaos-update.sh @@ -55,7 +55,7 @@ deforaos_update() echo "" echo "Documenting CVS module $MODULE:" $FIND "$SRC/System" "$SRC/Apps" -name "doc" | while read path; do - [ -x "$path/docbook.sh" ] || continue + [ -x "$path/gtkdoc.sh" ] || continue for i in $path/*.xml; do (cd "$path" && $MAKE install DESTDIR="$DESTDIR" PREFIX="/") 2> "$DEVNULL" done