fix urls
diff --git a/dist/manweb b/dist/manweb
index 2cd5b50..eb7f32a 100755
--- a/dist/manweb
+++ b/dist/manweb
@@ -66,3 +66,4 @@
} >$d/$p.html
}
rm /tmp/manweb.html
+./fixurls $PLAN9/man/man*/*.html
diff --git a/dist/mkfile b/dist/mkfile
index e12628d..c71b54b 100644
--- a/dist/mkfile
+++ b/dist/mkfile
@@ -9,7 +9,7 @@
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
