Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 05:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix http://doc.servo.org/ to redirect to /servo/index.html again...

Browse source 
... rather than being the Rust documentation index.

The order of `cp` command determines which `target/doc/index.html` file
overwrites the other.
This commit is contained in:
Simon Sapin 2014-09-18 23:50:47 +01:00
parent 5e5f77a354
commit f24af67207
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/travis.script.sh
View file

@ -37,8 +37,8 @@ for t in "${tasks[@]}"; do
if [ "${TRAVIS_BRANCH}" = "master" ] && [ "${TRAVIS_PULL_REQUEST}" = "false" ] if [ "${TRAVIS_BRANCH}" = "master" ] && [ "${TRAVIS_PULL_REQUEST}" = "false" ]
then then
mkdir -p target/doc mkdir -p target/doc
cp etc/doc.servo.org/* target/doc/
cp -R rust/doc/* target/doc/ cp -R rust/doc/* 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.
sudo pip install ghp-import sudo pip install ghp-import
ghp-import -n target/doc ghp-import -n target/doc