Docs: fix push and running locally (#30823)

fix push
pull/30827/head
Justin Newberry 1 year ago committed by GitHub
parent 3d8c78d6b3
commit 33e7baee40
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .github/workflows/docs.yaml
  2. 2
      docs/Makefile

@ -60,4 +60,4 @@ jobs:
git commit -m "build docs"
# docs live in different repo to not bloat openpilot's full clone size
git push -f origin gh-pages
git push -f origin tmp:gh-pages

@ -47,7 +47,7 @@ clean:
../scripts \
../selfdrive/modeld \
../selfdrive/debug \
$(shell find .. -type d -name "*test*")
$(shell find .. -type d -name "*test* -not -path "**.venv**" \")
@echo "Building html files..."
@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(DOCSBUILDDIR)" $(SPHINXOPTS) $(O)

Loading…
Cancel
Save