From 844cef198bd217d501e492df55f12f2487e4a131 Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Wed, 24 Jul 2013 03:56:22 +0200
Subject: [PATCH] Only log errors while generating the documentation

---
 src/deforaos-document.sh | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

diff --git a/src/deforaos-document.sh b/src/deforaos-document.sh
index c36e5d6..7fa410e 100755
--- a/src/deforaos-document.sh
+++ b/src/deforaos-document.sh
@@ -87,18 +87,19 @@ _deforaos_document_cvs()
 		$MAKE &&
 		$MKDIR -- "$DESTDIR/htdocs/doc/manual" &&
 		$FIND "doc/manual" -name "*.html" \
-			-exec $INSTALL {} "$DESTDIR/htdocs/{}" \;)
-	echo "   $HOMEPAGE/doc/manual"
+			-exec $INSTALL {} "$DESTDIR/htdocs/{}" \;) > "$DEVNULL"
+	echo "   $HOMEPAGE/doc/manual (manual pages)"
 
 	#generic documentation
 	echo ""
 	echo " * generic documentation"
 	$FIND "$SRC/System" "$SRC/Apps" -name "doc" | while read path; do
 		[ -x "$path/docbook.sh" -o -x "$path/gtkdoc.sh" ] || continue
-		(cd "$path" && $MAKE DESTDIR="$DESTDIR" PREFIX="/" \
-				install > "$DEVNULL")
+		(cd "$path" && $MAKE DESTDIR="$DESTDIR" PREFIX="/" install) \
+			> "$DEVNULL"
 	done
-	echo "   $HOMEPAGE/doc/gtk-doc/html"
+	echo "   $HOMEPAGE/doc/gtk-doc/html (API documentation)"
+	echo "   $HOMEPAGE/doc/html (generic documentation)"
 }
 
 
@@ -152,18 +153,19 @@ _deforaos_document_git()
 		$MAKE &&
 		$MKDIR -- "$DESTDIR/htdocs/doc/manual" &&
 		$FIND "doc/manual" -name "*.html" \
-			-exec $INSTALL {} "$DESTDIR/htdocs/{}" \;)
-	echo "   $HOMEPAGE/doc/manual"
+			-exec $INSTALL {} "$DESTDIR/htdocs/{}" \;) > "$DEVNULL"
+	echo "   $HOMEPAGE/doc/manual (manual pages)"
 
 	#generic documentation
 	echo ""
 	echo " * generic documentation"
 	$FIND "$ROOT/$SRC/System" "$ROOT/$SRC/Apps" -name "doc" | while read path; do
 		[ -x "$path/docbook.sh" -o -x "$path/gtkdoc.sh" ] || continue
-		(cd "$path" && $MAKE DESTDIR="$DESTDIR" PREFIX="/" \
-				install > "$DEVNULL")
+		(cd "$path" && $MAKE DESTDIR="$DESTDIR" PREFIX="/" install) \
+			> "$DEVNULL"
 	done
-	echo "   $HOMEPAGE/doc/gtk-doc/html"
+	echo "   $HOMEPAGE/doc/gtk-doc/html (API documentation)"
+	echo "   $HOMEPAGE/doc/html (generic documentation)"
 }