Merge pull request #16864 from mppf/make-man-pages-on-make-docs
Make man pages on ‘make docs’
I noticed that
make docs does not cause the man page for
chpl to be
generated (although it does create the man page for
chpldoc). This PR
make docs to always create both man pages.
Reviewed by @ben-albrecht - thanks!