fix: ignore deploy
This commit is contained in:
parent
7b17049512
commit
f2eeb554c8
1 changed files with 5 additions and 5 deletions
|
@ -17,12 +17,12 @@ clean-docs: ## remove generated static docs site
|
||||||
.PHONY: clean-docs
|
.PHONY: clean-docs
|
||||||
clean: clean-docs
|
clean: clean-docs
|
||||||
|
|
||||||
deploy-docs: ## deploy static docs site to github
|
# deploy-docs: ## deploy static docs site to github
|
||||||
git push $(DEPLOY_REPO)
|
# git push $(DEPLOY_REPO)
|
||||||
pipenv run mkdocs gh-deploy $(DEPLOY_OPTS)
|
# pipenv run mkdocs gh-deploy $(DEPLOY_OPTS)
|
||||||
|
|
||||||
.PHONY: deploy-docs
|
# .PHONY: deploy-docs
|
||||||
deploy: deploy-docs
|
# deploy: deploy-docs
|
||||||
|
|
||||||
build-docs-pdf: ## build pdf docs only
|
build-docs-pdf: ## build pdf docs only
|
||||||
mkdir -p $(BUILD_DOCS_DIR)
|
mkdir -p $(BUILD_DOCS_DIR)
|
||||||
|
|
Loading…
Reference in a new issue