diff options
Diffstat (limited to 'dist/mkfile')
| -rw-r--r-- | dist/mkfile | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/dist/mkfile b/dist/mkfile index e0607146..bbc431e0 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -9,9 +9,4 @@ man:V: 9 rc ./manweb push:V: - gsutil -m rsync -r -d $PLAN9/man gs://swtch/www/plan9port/man - gsutil cp unix.html gs://swtch/www/plan9port/unix/index.html - gsutil cp main.html gs://swtch/www/plan9port/index.html - gsutil cp ss.html gs://swtch/www/plan9port/screenshots/index.html - # @{cd ../unix/man && mk push} - # @{cd ../unix && mk push} + 9 rc ./publish |