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

Remove Geckolib CI.

Browse source
This commit is contained in:
Emilio Cobos Álvarez 2018-04-25 19:18:11 +02:00
parent 54b444992d
commit 8146850215
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
4 changed files with 0 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

5
etc/ci/upload_docs.sh
View file

@ -23,11 +23,6 @@ env CC=gcc-5 CXX=g++-5 ./mach doc
# when it encounters directories.
cp -r etc/doc.servo.org/* target/doc/
./mach cargo-geckolib doc
# 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
cd components/script