From 7383736cf8254264733aa055a4d854e007f5f83c Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Tue, 15 Feb 2005 05:07:26 +0000
Subject: add source links

---
 dist/manweb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dist/manweb')

diff --git a/dist/manweb b/dist/manweb
index 0ffbc481..32e90298 100755
--- a/dist/manweb
+++ b/dist/manweb
@@ -72,7 +72,7 @@ for (i in */[~.]*.[0-9]*){
 		sed '/<!-- TRAILER -->/q' /tmp/manweb.html
 		cat $PLAN9/dist/mantrailer.html
 		sed -n '/<!-- TRAILER -->/,$p' /tmp/manweb.html
-	} >$d/$p.html
+	} | $PLAN9/dist/addsrclinks >$d/$p.html
 }
 rm /tmp/manweb.html
 cd $PLAN9/dist
-- 
cgit v1.2.3