Add command to Make docs - #5008

Draft

James Chapman (JC-wk) wants to merge 9 commits into

microsoft:mainfrom

JC-wk:make-docs

GitHub Actions / Test Results succeeded Aug 21, 2026 in 0s

Summary

This check concluded as success.

View more details on GitHub Actions