mirror of
https://github.com/servo/servo.git
synced 2025-08-10 07:55:33 +01:00
Auto merge of #13454 - servo:jdm-patch-5, r=aneeshusa
Fix destination of cp in doc build. Fixes #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/13454) <!-- Reviewable:end -->
This commit is contained in:
commit
89301826f4
1 changed files with 1 additions and 1 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue