diff options
Diffstat (limited to 'dist/publish')
| -rwxr-xr-x | dist/publish | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dist/publish b/dist/publish index a9b50b88..295ec2aa 100755 --- a/dist/publish +++ b/dist/publish @@ -1,4 +1,4 @@ -#!/usr/local/plan9/bin/rc +#!/Users/ethan/plan9port/bin/rc dir=$9fansweb if (~ $#dir 0) { @@ -21,8 +21,8 @@ cp ss.html $root/screenshots/index.html @{cd ../unix/man && mk push} @{cd ../unix && mk push} -rm -rf $root/../usr/local/plan9 -mkdir -p $root/../usr/local/plan9 +rm -rf $root/../Users/ethan/plan9port +mkdir -p $root/../Users/ethan/plan9port @{cd ..; git archive HEAD} | @{cd $root/../usr/local/plan9 && u tar xf -} for(d in `{find $root/../usr/local/plan9 -type d}) { 9 rc ./mkdirlist $d `{echo $d | sed 's;.*/usr;/usr;'} >t1 && mv t1 $d/index.html |