diff options
| author | rsc <devnull@localhost> | 2005-01-14 18:00:26 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-14 18:00:26 +0000 |
| commit | 722c34e3106777f9c37faf37a715edccbeec94bd (patch) | |
| tree | 1f927c707b228522aab1a58095ea0a59900391a9 /dist | |
| parent | 5319e9b8fb21838c86c8c309ea148a0261536a4a (diff) | |
| download | plan9port-722c34e3106777f9c37faf37a715edccbeec94bd.tar.gz plan9port-722c34e3106777f9c37faf37a715edccbeec94bd.tar.bz2 plan9port-722c34e3106777f9c37faf37a715edccbeec94bd.zip | |
better job at cleaning
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/mkfile | 10 | ||||
| -rw-r--r-- | dist/unix.html | 3 |
2 files changed, 7 insertions, 6 deletions
diff --git a/dist/mkfile b/dist/mkfile index 4def6970..bbde9198 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -9,8 +9,8 @@ man:V: 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 e56e41ac..1b8dd0c5 100644 --- a/dist/unix.html +++ b/dist/unix.html @@ -52,7 +52,8 @@ Edit ./^$/,s/<Table/<table border=0 cellspacing=0 cellpadding=0 width=100%/g 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> |