| commit | 7383736cf8254264733aa055a4d854e007f5f83c | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Tue Feb 15 05:07:26 2005 +0000 |
| committer | rsc <devnull@localhost> | Tue Feb 15 05:07:26 2005 +0000 |
| tree | 028756f3bc59b1ea10c00333278eaa4f0dac462e | |
| parent | 0c891f28dbdc5a61b191d778391664417aae445c [diff] [blame] |
add source links
diff --git a/dist/manweb b/dist/manweb index 0ffbc48..32e9029 100755 --- a/dist/manweb +++ b/dist/manweb
@@ -72,7 +72,7 @@ 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