mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
Fix doc build (fixes #12964)
This commit is contained in:
parent
ef1b594f48
commit
19456d45e6
1 changed files with 1 additions and 1 deletions
|
@ -18,7 +18,7 @@ cd "$(dirname ${0})/../.."
|
||||||
# etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
|
# etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
|
||||||
cp etc/doc.servo.org/* target/doc/
|
cp etc/doc.servo.org/* target/doc/
|
||||||
|
|
||||||
python components/style/properties/build.py servo html
|
python components/style/properties/build.py servo html regular
|
||||||
|
|
||||||
cd components/script
|
cd components/script
|
||||||
cmake .
|
cmake .
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue