better job at cleaning
diff --git a/dist/mkfile b/dist/mkfile
index 4def697..bbde919 100644
--- a/dist/mkfile
+++ b/dist/mkfile
@@ -9,8 +9,8 @@
rc ./manweb
push:V:
- rsync -e ssh -avz --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
- rsync -e ssh unix.html swtch:www/swtch.com/plan9port/unix/index.html
- rsync -e ssh main.html swtch:www/swtch.com/plan9port/nindex.html
- @{cd ../unix/man && mk push}
- @{cd ../unix && mk push}
+ rsync -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/nindex.html
+ # @{cd ../unix/man && mk push}
+ # @{cd ../unix && mk push}
diff --git a/dist/unix.html b/dist/unix.html
index e56e41a..1b8dd0c 100644
--- a/dist/unix.html
+++ b/dist/unix.html
@@ -52,7 +52,8 @@
On unsupported systems, you will need to create
<font size=+1><tt>Make.<i>YourOS</i>-<i>YourArch</i></tt></font>.
- See the existing ones for examples.
+ See the existing ones for examples. If you write one for a new system,
+ please send it to us for inclusion in the tar files.
</table>
