diff options
Diffstat (limited to 'dist/publish')
| -rwxr-xr-x | dist/publish | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/publish b/dist/publish index bfad7cae..a9b50b88 100755 --- a/dist/publish +++ b/dist/publish @@ -23,7 +23,7 @@ cp ss.html $root/screenshots/index.html rm -rf $root/../usr/local/plan9 mkdir -p $root/../usr/local/plan9 -git archive HEAD | @{cd $root/../usr/local/plan9 && u tar xf -} +@{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 } |