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

Auto merge of #13410 - jdm:doc_fix, r=Ms2ger

Browse source 
Fix doc build by resurrecting generation of supported DOM APIs.h

This should fix #12964.

<!-- 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/13410)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-09-26 23:33:53 -05:00 • committed by GitHub
commit 4ceea0426c
2 changed files with 21 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
etc/ci/upload_docs.sh
View file

@ -20,9 +20,11 @@ cp etc/doc.servo.org/* target/doc/
python components/style/properties/build.py servo html
OUT_DIR="$(pwd)/target/doc/servo" \
make -f makefile.cargo -C components/script dom_docs
rm -rf target/doc/servo/.cache
cd components/script
cmake .
cmake --build . --target supported-apis
cp apis.html target/doc/servo/
cd ../..
ghp-import -n target/doc
git push -qf "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages