plan9port

commit 0245a72ab49eb7aa2e6f1a9da709c732df20920b
parent add3511e9bec8db231c645e6b44db8eb2b7ff315
Author: rsc <devnull@localhost>
Date:   Fri, 14 Jan 2005 21:01:51 +0000

 fix urls

Diffstat:
M
dist/manweb
 | 
1
+
M
dist/mkfile
 | 
2
+-

2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/dist/manweb b/dist/manweb
@@ -66,3 +66,4 @@ for (i in */[~.]*.[0-9]*){
 	} >$d/$p.html
 }
 rm /tmp/manweb.html
+./fixurls $PLAN9/man/man*/*.html
diff --git a/dist/mkfile b/dist/mkfile
@@ -9,7 +9,7 @@ man:V:
 	rc ./manweb
 
 push:V:
-	rsync -e ssh -t --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
+	rsync -r -e ssh -t --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
 	rsync -e ssh -t unix.html swtch:www/swtch.com/plan9port/unix/index.html
 	rsync -e ssh -t main.html swtch:www/swtch.com/plan9port/index.html
 	rsync -e ssh -t ss.html swtch:www/swtch.com/plan9port/screenshots/index.html