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 <refack@gmail.com> Reviewed-By: Tobias Nießen <tniessen@tnie.de>
- Loading branch information