fix(docs): Use doc root and set custom favicon

This commit is contained in:
Alexis Mousset
2019-05-05 20:15:45 +02:00
parent 4828cf4e92
commit 0a3d51dc25

View File

@@ -4,7 +4,8 @@ set -xe
cd website
make clean && make
echo "lettre.at" > _book/CNAME
cp static/images/favicon.png _book/html/favicon.png
echo "lettre.at" > _book/html/CNAME
sudo pip install ghp-import
ghp-import -n _book
git push -f https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages
ghp-import -n _book/html
git push -f https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages