Blame

Date:
Message:
dist: update mk push Change-Id: I848df28b079ca43dfbe4f7ea6b52cdaf260fd6aa Reviewed-on: https://plan9port-review.googlesource.com/2963 Reviewed-by: Russ Cox <rsc@swtch.com>
Actions:
History | Blob | Raw File
 1 79ff7e4b 2008-01-10 rsc MKSHELL=$PLAN9/bin/rc

 2 78e51a8c 2005-01-14 devnull 

 3 02f38ca6 2005-01-04 devnull check.out:V:

 4 02f38ca6 2005-01-04 devnull 	cd ../man; mk indices

 5 02f38ca6 2005-01-04 devnull 	cd ..

 6 78e51a8c 2005-01-14 devnull 	9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out

 7 02f38ca6 2005-01-04 devnull 

 8 78e51a8c 2005-01-14 devnull man:V:

 9 98deccf3 2005-07-19 devnull 	9 rc ./manweb

10 78e51a8c 2005-01-14 devnull 

11 78e51a8c 2005-01-14 devnull push:V:

12 7e77a6a5 2017-07-16 rsc 	gsutil -m rsync -r -d $PLAN9/man gs://swtch/www/plan9port/man

13 7e77a6a5 2017-07-16 rsc 	gsutil cp unix.html gs://swtch/www/plan9port/unix/index.html

14 7e77a6a5 2017-07-16 rsc 	gsutil cp main.html gs://swtch/www/plan9port/index.html

15 7e77a6a5 2017-07-16 rsc 	gsutil cp ss.html gs://swtch/www/plan9port/screenshots/index.html

16 722c34e3 2005-01-14 devnull 	# @{cd ../unix/man && mk push}

17 722c34e3 2005-01-14 devnull 	# @{cd ../unix && mk push}