[CI] always rebuild sphinx-gallery docs from scratch (#1742)

This commit is contained in:
Tianqi Chen 2018-09-19 20:43:26 -07:00 коммит произвёл GitHub
Родитель fdf795a076
Коммит 27b6812b06
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 4 добавлений и 0 удалений

Просмотреть файл

@ -1,6 +1,10 @@
#!/bin/bash #!/bin/bash
mkdir -p docs/_build/html mkdir -p docs/_build/html
rm -rf docs/_build/html/jsdoc rm -rf docs/_build/html/jsdoc
# remove stale tutorials and always build from scratch.
rm -rf docs/tutorials
# C++ doc # C++ doc
make doc make doc