Implement functionality to build docs directly without builddocs argument to make #2
Description
I do not know enough about cmake to do this. Tried searching for references, but no luck.
Currently, the command prosv5 make builddocs must be invoked at the command line to build the docs. Would be nice if instead, the script was run with just the command prosv5 make.