v5.0.x: DOCS: minor fix to autogen.pl related page#12753

Merged

wenduwan merged 1 commit intoopen-mpi:v5.0.xfrom

hppritcha:setenv_for_auto_gen_doc_v50x

Aug 13, 2024

Commits on Aug 13, 2024

DOCS: minor fix to autogen.pl related page
hppritcha
committed