mirror of
https://github.com/servo/servo.git
synced 2025-08-04 05:00:08 +01:00
Fix the doc build step.
This commit is contained in:
parent
1b5fac5bde
commit
3d0ae07d77
1 changed files with 1 additions and 0 deletions
|
@ -7,6 +7,7 @@
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
mkdir -p target/doc
|
mkdir -p target/doc
|
||||||
|
./mach bootstrap-rust
|
||||||
cp -R rust/doc/* target/doc/
|
cp -R rust/doc/* target/doc/
|
||||||
cp etc/doc.servo.org/* target/doc/
|
cp etc/doc.servo.org/* target/doc/
|
||||||
./mach doc # After copying rust/doc, so that the crate index is correct
|
./mach doc # After copying rust/doc, so that the crate index is correct
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue