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

Merge list_properties.py into build_properties_rs.py

Browse source
This commit is contained in:
Simon Sapin 2016-04-18 15:55:36 +02:00
parent eda711307c
commit b7eb720c74
5 changed files with 84 additions and 84 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/upload_docs.sh
View file

@ -12,7 +12,7 @@ cd "$(dirname $0)/../.."
# etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
cp etc/doc.servo.org/* target/doc/
python components/style/list_properties.py
python components/style/build_properties_rs.py servo html
ghp-import -n target/doc
git push -qf https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages