diff options
| author | rsc <devnull@localhost> | 2005-02-15 05:07:26 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-02-15 05:07:26 +0000 |
| commit | 7383736cf8254264733aa055a4d854e007f5f83c (patch) | |
| tree | 028756f3bc59b1ea10c00333278eaa4f0dac462e /dist/manweb | |
| parent | 0c891f28dbdc5a61b191d778391664417aae445c (diff) | |
| download | plan9port-7383736cf8254264733aa055a4d854e007f5f83c.tar.gz plan9port-7383736cf8254264733aa055a4d854e007f5f83c.tar.bz2 plan9port-7383736cf8254264733aa055a4d854e007f5f83c.zip | |
add source links
Diffstat (limited to 'dist/manweb')
| -rwxr-xr-x | dist/manweb | 2 |
1 files changed, 1 insertions, 1 deletions
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 |