install-webdoc.sh: use the $( ... ) construct for command substitution