Comment 2 for bug 2056480

Tested and pushed to main, rel_3_12, and rel_3_11. Thanks, Jane!

Note that I amend the commit message to more accurate describe the test procedure; at present generate_docs.pl works only if you run it from the docs/ subdirectory.