diff options
| author | Petter Rodhelind <petter.rodhelind@gmail.com> | 2017-09-28 11:20:22 +0200 |
|---|---|---|
| committer | Petter Rodhelind <petter.rodhelind@gmail.com> | 2017-09-28 11:20:22 +0200 |
| commit | ed9342b2a15fcb98a5e1641b291b9d51f00538e8 (patch) | |
| tree | fae6678eac643e3b220ac1cf5529a81f780fe475 /dist/mkfile | |
| parent | 3792be8ab8fe8253fa4758a646963eb7fb95b390 (diff) | |
| parent | 3f8ac29339ad67f05d32064fcc810035d55a3985 (diff) | |
| download | plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.tar.gz plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.tar.bz2 plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.zip | |
Merge remote-tracking branch 'upstream/master'
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 |