add source links
This commit is contained in:
parent
0c891f28db
commit
7383736cf8
5 changed files with 34 additions and 7 deletions
2
dist/manweb
vendored
2
dist/manweb
vendored
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue