diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 6 | ||||
| m--------- | docs/_themes | 0 |
2 files changed, 2 insertions, 4 deletions
diff --git a/docs/Makefile b/docs/Makefile index 12dc88bf8..2f83fbe06 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -25,7 +25,7 @@ help: clean: -rm -rf _build/* -html: themes +html: mkdir -p _build/html _build/doctrees $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) _build/html @echo @@ -47,7 +47,7 @@ pickle: web: pickle -htmlhelp: themes +htmlhelp: mkdir -p _build/htmlhelp _build/doctrees $(SPHINXBUILD) -b htmlhelp $(ALLSPHINXOPTS) _build/htmlhelp @echo @@ -89,5 +89,3 @@ epub: @echo @echo "Build finished. The epub file is in _build/epub." -themes: - cd ..; git submodule update --init --recursive; cd docs; diff --git a/docs/_themes b/docs/_themes deleted file mode 160000 -Subproject 382cba80fbd6a7424818d17ec63ca520e485f10 |