On 12/10/2016 06:07 PM, Ray Andrews wrote:I unzipped the 'doc' file, but there's no install for it. Do I copy it to the zsh tree somewhere? Previous installs show no 'Doc' directory. I ran 'make install', not sure what changed. But 'Doc' has lots of .html files and those seem not to have been copied anywhere.