Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #12470 - servo:jdm-patch-2, r=Manishearth

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

Right now it's visible at http://doc.servo.org/apis.html, unlike http://doc.servo.org/servo/css-properties.html.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12470)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-07-16 00:32:21 -07:00 • committed by GitHub
commit d9b7c060a5
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