[batch] fix batch docs build (#9342)
[batch] fix batch docs build (#9342)

Docs build fails if build/batch does not exist.
cseed/hail,danking/hail,danking/hail,cseed/hail,cseed/hail,danking/hail,cseed/hail,danking/hail,cseed/hail,hail-is/hail,hail-is/hail,danking/hail,hail-is/hail,danking/hail,danking/hail,cseed/hail,danking/hail,cseed/hail,cseed/hail,hail-is/hail,hail-is/hail,hail-is/hail,hail-is/hail,hail-is/hail