use the same command for 'docs' env build as CI uses for real doc builds
Change-Id: Iff77d58ae895405eded2063d03e704a17e626868 Signed-off-by: Doug Hellmann <doug@doughellmann.com>
This commit is contained in:
parent
e940a65e23
commit
47b61c57a4