# HG changeset patch
# User klao
# Date 1143232062 0
# Node ID 5e51c9eb5e83e600c75f17337bb0f347aa16d800
# Parent  313875e0a34ab6356ebb6ee1dcb6948e113aa875
bootstrap: quiet option

diff -r 313875e0a34a -r 5e51c9eb5e83 bootstrap
--- a/bootstrap	Thu Mar 23 20:43:25 2006 +0000
+++ b/bootstrap	Fri Mar 24 20:27:42 2006 +0000
@@ -1,5 +1,13 @@
 #!/bin/bash
 
+quiet=0
+function quiet { [[ $quiet == 1 ]]; }
+
+if [[ "$1" == "-q" ]]; then
+  quiet=1
+  shift
+fi
+
 prev=
 for option
 do
@@ -67,11 +75,13 @@
   autoheader=autoheader-$acver
 fi
 
-echo "Try using 'autoreconf -vi' instead of this."
+quiet || echo "Try using 'autoreconf -vi' instead of this."
 
-set -x
-$aclocal -I m4 \
-&& libtoolize --force --copy \
-&& $autoconf \
-&& $autoheader \
-&& $automake --add-missing --copy --gnu
+set -e
+quiet || set -x
+
+$aclocal -I m4
+(quiet && exec > /dev/null; libtoolize --force --copy)
+$autoconf
+$autoheader
+$automake --add-missing --copy --gnu
diff -r 313875e0a34a -r 5e51c9eb5e83 doc/Makefile.am
--- a/doc/Makefile.am	Thu Mar 23 20:43:25 2006 +0000
+++ b/doc/Makefile.am	Fri Mar 24 20:27:42 2006 +0000
@@ -35,7 +35,7 @@
 install-data-local: html/index.html
 	@$(NORMAL_INSTALL)
 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
-	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
+	@dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
@@ -43,7 +43,7 @@
 
 uninstall-local: html/index.html
 	@$(NORMAL_UNINSTALL)
-	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
+	@dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
 	  rm -f $(DESTDIR)$(htmldir)/$$f; \