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

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

Browse source
This commit is contained in:
Josh Matthews 2016-09-24 15:06:06 -04:00
parent 0b0495cff4
commit 80166176a3
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