diff -r b474e2e6f54e -r a2d87cfd77e4 lib/update.utils
--- a/lib/update.utils	Tue Mar 20 14:15:22 2012 +0200
+++ b/lib/update.utils	Tue Mar 20 14:24:58 2012 +0200
@@ -15,6 +15,12 @@
     "$@" || die "Failed"
 }
 
+## Execute command, prefixing its output on stdout with given indent prefix.
+#
+#   indent  "    " $cmd...
+#
+# Output is kept on stdout, exit status is that of the given command.
+# Also logs the executed command at log_cmd level..
 function indent () {
     local indent=$1; shift