File tree 1 file changed +0
-13
lines changed
1 file changed +0
-13
lines changed Original file line number Diff line number Diff line change @@ -6,7 +6,6 @@ SPHINXOPTS =
6
6
SPHINXBUILD = sphinx-build
7
7
PAPER =
8
8
BUILDDIR = _build
9
- GH_PAGES_SOURCES = pycebox Makefile
10
9
11
10
# Internal variables.
12
11
PAPEROPT_a4 = -D latex_paper_size=a4
@@ -224,15 +223,3 @@ dummy:
224
223
$(SPHINXBUILD ) -b dummy $(ALLSPHINXOPTS ) $(BUILDDIR ) /dummy
225
224
@echo
226
225
@echo " Build finished. Dummy builder generates no files."
227
-
228
- .PHONY : gh-pages
229
- gh-pages :
230
- git checkout gh-pages
231
- rm -rf build _sources _static
232
- git checkout master $(GH_PAGES_SOURCES )
233
- git reset HEAD
234
- make html
235
- mv -fv _build/html/* ./
236
- rm -rf $(GH_PAGES_SOURCES ) _build
237
- git add -A
238
- git commit -m " Generated gh-pages for ` git log master -1 --pretty=short --abbrev-commit` " && git push origin gh-pages ; git checkout master
You can’t perform that action at this time.
0 commit comments