Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Place apis.html in the same place as css-properties.html

Browse source 
Don't upload the cached results of parsing WebIDL files, too.
This commit is contained in:
Josh Matthews 2016-07-15 23:47:10 -04:00 • committed by GitHub
parent 73ad0b928d
commit 04291114d7
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
etc/ci/upload_docs.sh
View file

@ -16,7 +16,8 @@ cp etc/doc.servo.org/* target/doc/
python components/style/properties/build.py servo html
OUT_DIR="`pwd`/target/doc" make -f makefile.cargo -C components/script dom_docs
OUT_DIR="`pwd`/target/doc/servo" make -f makefile.cargo -C components/script dom_docs
rm -rf target/doc/servo/.cache
ghp-import -n target/doc
git push -qf "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages