infra: fix local doc make command (#21608)

pull/16569/merge
Bagatur 2 weeks ago committed by GitHub
parent 4dc625057e
commit 83a8fdcfd1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -17,7 +17,7 @@ clean: docs_clean api_docs_clean
## docs_build: Build the documentation.
docs_build:
cd docs && make build-local
cd docs && make build
## docs_clean: Clean the documentation build artifacts.
docs_clean:

Loading…
Cancel
Save