istio
/
istio.io
mirror of https://github.com/istio/istio.io.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

copy all root files over to root of public folder (#7606) 

* copy all root files over to root of public folder

* fix linting error
This commit is contained in:
davidhauck 2020-06-22 13:42:51 -07:00 committed by GitHub
parent 33383e6532
commit b01b6cc3ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/include_archive_site.sh
View File

@ -22,7 +22,5 @@ cp -r ./archive/* ./public/
mkdir ./public/latest mkdir ./public/latest
cp -r "${TMP}"/* ./public/latest/ cp -r "${TMP}"/* ./public/latest/
#copy home page #copy top level pages, such as landing page, redirects, headers, robots.txt, etc
cp "${TMP}"/index.html ./public/ find "${TMP}" -maxdepth 1 -type f -exec cp -t ./public/ {} +
mv "${TMP}"/_redirects ./public/