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

Generate a list of supported DOM APIs from parsed WebIDLs.

Browse source
This commit is contained in:
Josh Matthews 2016-06-29 11:14:11 -04:00
parent 2df5d705e1
commit 3c2435a172
9 changed files with 113 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/upload_docs.sh
View file

@ -16,5 +16,7 @@ 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
ghp-import -n target/doc
git push -qf "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages