зеркало из https://github.com/mozilla/gecko-dev.git
servo: Merge #13454 - Fix destination of cp in doc build (from servo:jdm-patch-5); r=aneeshusa
Fixes #12964. Source-Repo: https://github.com/servo/servo Source-Revision: 89301826f4a879524852899ac592720a78dd1716
This commit is contained in:
Родитель
73db4c00f1
Коммит
fb0f735d96
|
@ -23,7 +23,7 @@ python components/style/properties/build.py servo html regular
|
|||
cd components/script
|
||||
cmake .
|
||||
cmake --build . --target supported-apis
|
||||
cp apis.html target/doc/servo/
|
||||
cp apis.html ../../target/doc/servo/
|
||||
cd ../..
|
||||
|
||||
ghp-import -n target/doc
|
||||
|
|
Загрузка…
Ссылка в новой задаче