Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: allow proper generation of html docs
`gen-doc` always calls `gen-json`, which means it's impossible to generate html docs. Changed this to pass in the command the user wants to run. PR-URL: #14932 Fixes: #14930 Reviewed-By: Refael Ackermann <[email protected]> Reviewed-By: Tobias Nießen <[email protected]>
- Loading branch information