servo: Merge #17244 - Copy all geckolib dependency docs for upload (from servo:jdm-patch-3); r=emilio

Attempt to fix the doc uploading process which is permafailing in #17243.

Source-Repo: https://github.com/servo/servo
Source-Revision: ab77d03c3bb6466eb55af5f445cdc805f6a05847

--HG--
extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear
extra : subtree_revision : 31d9c48bbcdcddc8c22bc76acae6b40af0fd023e
This commit is contained in:
Josh Matthews 2017-06-10 18:03:30 -07:00
Родитель 35923629aa
Коммит bb12ac5c69
1 изменённых файлов: 3 добавлений и 1 удалений

Просмотреть файл

@ -20,7 +20,9 @@ cp etc/doc.servo.org/* target/doc/
./mach cargo-geckolib doc
mkdir target/doc/geckolib
cp target/geckolib/doc/* target/doc/geckolib/
# Use recursive copy here to avoid `cp` returning an error code
# when it encounters directories.
cp -r target/geckolib/doc/* target/doc/geckolib/
python components/style/properties/build.py servo html regular