Building with documentation in combination with SWIPL_PACKAGE_LIST errors

[esad]

When I try to build current master with:

cmake -DSWIPL_PACKAGE_LIST="http" .. 
make 

the build stops with:

make[2]: *** No rule to make target `man/utf8proc', needed by `man/pldoc2tex'.  Stop.

I think this is because building http/any package docs require utf8proc package, so maybe this package should be auto-added if user still wishes to build docs and is using -DSWIPL_PACKAGE_LIST or at least we could how appropriate error message:

To confirm, retrying with:

cmake -DSWIPL_PACKAGE_LIST="utf8proc;http" .. 
make

succeeds.