updated makefile to store updated docs in gh-pages root

This commit is contained in:
Amit Sharma 2020-01-08 13:13:01 +05:30
Родитель 49ebeadc63
Коммит 6373b4e59f
1 изменённых файлов: 2 добавлений и 1 удалений

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

@ -28,7 +28,8 @@ latexpdf:
@echo "pdflatex finished; see $(PDF)"
commithtmldocs: html
cd $(BUILDDIR)/html; git add . ; git commit -m "rebuilt docs"; git push origin gh-pages
cp -r $(BUILDDIR)/html/* $(BUILDDIR)
cd $(BUILDDIR); git add . ; git commit -m "rebuilt docs"; git push origin gh-pages
# Catch-all target: route all unknown targets to Sphinx using the new
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).