From b1a5ffdee0b71c94fb8c2934d2a9b3e307ec7833 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Fri, 14 Jan 2005 18:03:32 +0000
Subject: shut up

---
 dist/manweb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'dist/manweb')

diff --git a/dist/manweb b/dist/manweb
index 0a6f0f40..2cd5b50e 100755
--- a/dist/manweb
+++ b/dist/manweb
@@ -1,5 +1,9 @@
 #!/usr/local/plan9/bin/rc
 
+verbose=no
+if(~ $1 -v)
+	verbose=yes
+
 path=($PLAN9/bin $path)
 cd $PLAN9/man
 # rm -f */*.html
@@ -53,7 +57,7 @@ for (i in */[~.]*.[0-9]*){
 	d=`{basename -d $j}
 	if(~ $p 0intro)
 		p=intro
-	echo $d/$p
+	if(~ $verbose yes) echo $d/$p
 	troff -manhtml $i | troff2html -t 'Plan 9 from User Space'>/tmp/manweb.html
 	{
 		sed '/<!-- TRAILER -->/q' /tmp/manweb.html
-- 
cgit v1.2.3